Module MbtSource

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