Functor Fix.Make

module Make: 
functor (M : IMPERATIVE_MAPS) -> 
functor (P : PROPERTY) -> sig .. end

type variable = M.key 

type property = P.property 

type valuation = variable -> property 

type rhs = valuation -> property 

type equations = variable -> rhs 

val lfp : equations -> valuation