module Abstract_interp: sig
.. end
exception Error_Top
Raised by some functions when encountering a top value.
exception Error_Bottom
Raised by Lattice_Base.project.
exception Not_less_than
Raised by Lattice.cardinal_less_than
.
exception Can_not_subdiv
module Comp: sig
.. end
Signatures for comparison operators ==, !=, <, >, <=, >=
.
module Int: sig
.. end
module Rel: sig
.. end
"Relative" integers.
module Bool: sig
.. end
module Make_Lattice_Base:
module Make_Lattice_Set:
module Make_Hashconsed_Lattice_Set:
See e.g.
module type Collapse = sig
.. end
module Make_Lattice_Product:
If C.collapse
then L1.bottom,_
= _,L2.bottom
= bottom
module Make_Lattice_UProduct:
Uncollapsed product.
module Make_Lattice_Sum: