Module `DataFlow.ForOrderedType`

Parameters

module T : Map.OrderedType

module P : sig ... end

module G : sig ... end

Signature

type variable = G.variable

type property = P.property option

val solution : variable -> property