Module `DataFlow.ForHashedType`

Parameters

module T : Hashtbl.HashedType

module P : sig ... end

module G : sig ... end

Signature

type variable = G.variable

type property = P.property option

val solution : variable -> property