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