DataFlow.ForType
ForType
is a special case of Run
where it suffices to pass an arbitrary type T
as an argument. A hash table is used to hold the memoization table. OCaml's built-in generic equality and hash functions are used.
module T : sig ... end
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.