DataFlow.ForHashedType
ForHashedType
is a special case of Run
where it suffices to pass a hashed type T
as an argument. A hash table 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.