Parameter `Forward.D`

type t

val bot : t

Identity element of the join operation. From definition this is also the lowest element in the domain.

val join : t -> t -> t

Join operator of the join-semilattice. This operation has be associative, commutative and idempotent.

val less_equal : t -> t -> bool

Operator defined as (less_equal x y iff equal (join x y) y). Is separate from join for efficiency.

Parameter Forward.D