Module Mbt

module type MEASURE = sig ... end
module Make (M : MEASURE) : sig ... end