You can search for identifiers within the package.
in-package search v0.2.0
fix
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.