Fix.MINIMAL_SEMI_LATTICE
The signature MINIMAL_SEMI_LATTICE is used by DataFlow.Run and friends.
MINIMAL_SEMI_LATTICE
DataFlow.Run
type property
The type property must form a partial order, which must satisfy the ascending chain condition: every monotone sequence must eventually stabilize.
property
val leq_join : property -> property -> property
leq_join p q must compute the join of p and q. If the result is logically equal to q, then q itself must be returned. Thus, we have leq_join p q == q if and only if leq p q holds.
leq_join p q
p
q
leq_join p q == q
leq p q