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