package fix

  1. Overview
  2. Docs

Parameters

module M : sig ... end
module P : sig ... end

Signature

type variable = M.key
type property = P.property
type valuation = variable -> property
type rhs = valuation -> property
type equations = variable -> rhs
val lfp : equations -> valuation
OCaml

Innovation. Community. Security.