Cfg_liveness.Domain
type t = domain
val bot : t
Identity element of the join operation. From definition this is also the lowest element in the domain.
join
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.
less_equal x y
equal (join x y) y