module type Contents : sig ... end
module type S : sig ... end
module Make : functor (C : Contents) -> S with type contents = C.t
module Int : sig ... end
module Int64 : sig ... end
module Float : sig ... end