Module Unit

module Unit: Unit

type t = unit 

include Identifiable.S

module type S = sig .. end

type m = (module Unit.S)