Constraints.Constraints
module type Constraints = sig ... end
module MakeConstraints (Condition : Condition_map.Condition) () : Constraints with module Condition = Condition