Fix.SOLUTION
The signature SOLUTION describes the result of DataFlow.Run and friends.
SOLUTION
DataFlow.Run
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.