jon.recoil.org

Parameter Backward.D

type t
val bot : D.t

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

val join : D.t -> D.t -> D.t

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

val less_equal : D.t -> D.t -> bool

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