functor (M : IMPERATIVE_MAPS) ->
  functor (P : PROPERTY) ->
    sig
      type variable = M.key
      type property = P.property
      type valuation = Fix.Make.variable -> Fix.Make.property
      type rhs = Fix.Make.valuation -> Fix.Make.property
      type equations = Fix.Make.variable -> Fix.Make.rhs
      val lfp : Fix.Make.equations -> Fix.Make.valuation
    end