DataFlow.ForOrderedType
ForOrderedType
is a special case of Run
where it suffices to pass an ordered type T
as an argument. A reference to a persistent map is used to hold the memoization table.
module P : sig ... end
module G : sig ... end
type variable = G.variable
The type of variables.
type property = P.property option
The type of properties.