M2compiler-V3/stdlib/convtypes.mod

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