module type S = sig ... end
module Char : S with type t = char
module Bool : S with type t = bool
module Int : S with type t = int
module Int32 : S with type t = int32
module Int64 : S with type t = int64
module Float : S with type t = float
module Z : S with type t = Z.t