Module Unit

module Unit: sig .. end

Module for the type unit. This is mostly useful for building functor arguments.

type t = unit

include Identifiable.S

module type S = sig .. end

type m = (module Unit.S)