compiler-libs.optcomp
Forward.D
compiler-libs.bytecomp
compiler-libs.common
compiler-libs.toplevel
dynlink
eval
jit
runtime_events
stdlib
stdlib_alpha
stdlib_beta
stdlib_stable
stdlib_upstream_compatible
str
threads
unix
type t
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