Module `Cfg_liveness.Domain`

type t = Cfg_liveness.domain

val bot : Cfg_liveness.Domain.t

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

val join : 
  Cfg_liveness.Domain.t ->
  Cfg_liveness.Domain.t ->
  Cfg_liveness.Domain.t

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

val less_equal : Cfg_liveness.Domain.t -> Cfg_liveness.Domain.t -> bool

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

Module Cfg_liveness.Domain