Module `DataFlow.Run`

Parameters

module M : sig ... end

module P : sig ... end

module G : sig ... end

Signature

type variable = G.variable

type property = P.property option

val solution : variable -> property