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 Bytes : S with type t = bytes
module Z : S with type t = Z.t