package fix

  1. Overview
  2. Docs

The signature SOLUTION describes the result of DataFlow.Run and friends.

type variable

The type of variables.

type property

The type of properties.

val solution : variable -> property

The least solution of the system of monotone equations.

OCaml

Innovation. Community. Security.