module Unit:sig..end
unit. This is mostly useful for building functor arguments.typet =unit
val typerep_of_t : t Typerep_kernel.Std.Typerep.tval typename_of_t : t Typerep_kernel.Std.Typename.tinclude Identifiable.S
module type S =sig..end
typem =(module Unit.S)