module type Lattice =Generic lattice.sig
..end
exception Error_Top
exception Error_Bottom
include Datatype.S
type
widen_hint
hints for the widening
val join : t -> t -> t
val link : t -> t -> t
val meet : t -> t -> t
val narrow : t -> t -> t
val bottom : t
val top : t
val is_included : t -> t -> bool
val is_included_exn : t -> t -> unit
val intersects : t -> t -> bool
val widen : widen_hint -> t -> t -> t
widen h t1 t2
is an over-approximation of join t1 t2
.
Assumes is_included t1 t2
val cardinal_zero_or_one : t -> bool
val cardinal_less_than : t -> int -> int
cardinal_less_than t v
Not_less_than
whenever the cardinal of t
is higher than v
val tag : t -> int