Module Bechamel.S

module type FUNCTOR = sig ... end
module type MEASURE = sig ... end