package lrgrep

  1. Overview
  2. Docs
package lrgrep
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module type Fix.SOLUTIONSource

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.