Module `DataFlow.ForIntSegment`

Parameters

module K : sig ... end

module P : sig ... end

module G : sig ... end

Signature

type variable = G.variable

type property = P.property option

val solution : variable -> property