module type S = sig ... endmodule Char : S with type t = charmodule Bool : S with type t = boolmodule Int : S with type t = intmodule Int32 : S with type t = int32module Int64 : S with type t = int64module Bytes : S with type t = bytesmodule Z : S with type t = Z.t