Module Fix__.Core

module Make : functor (M : Fix__.Sigs.IMPERATIVE_MAPS) -> functor (P : Fix__.Sigs.PROPERTY) -> Fix__.Sigs.SOLVER with type variable = M.key and type property = P.property
module ForOrderedType : functor (T : Fix__.Sigs.OrderedType) -> functor (P : Fix__.Sigs.PROPERTY) -> Fix__.Sigs.SOLVER with type variable = T.t and type property = P.property
module ForHashedType : functor (T : Fix__.Sigs.HashedType) -> functor (P : Fix__.Sigs.PROPERTY) -> Fix__.Sigs.SOLVER with type variable = T.t and type property = P.property
module ForType : functor (T : Fix__.Sigs.TYPE) -> functor (P : Fix__.Sigs.PROPERTY) -> Fix__.Sigs.SOLVER with type variable = T.t and type property = P.property