IMPLEMENTATION MODULE ConvTypes;
(* Types only; no runtime content. *)
END ConvTypes.