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