Fix.Make
module M : sig ... end
module P : 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