module Abstract_interp: sig
.. end
Consult the Plugin Development Guide for additional details.
exception Not_less_than
Raised by cardinal_less_than
exception Is_not_included
module type Lattice = sig
.. end
Generic lattice.
module type Lattice_With_Diff = sig
.. end
module type Lattice_Product = sig
.. end
module type Lattice_Sum = sig
.. end
module type Lattice_Base = sig
.. end
module type Lattice_Set = sig
.. end
module type Value = sig
.. end
module type Arithmetic_Value = sig
.. end
module Int: sig
.. end
module Make_Lattice_Base:
module Make_Pair:
module Make_Lattice_Interval_Set:
module Make_Lattice_Set:
module Make_Hashconsed_Lattice_Set:
module LocationSetLattice: sig
.. end
module type Key = sig
.. end
module VarinfoSetLattice: Lattice_Set
with type O.elt = Cil_types.varinfo
module type Collapse = sig
.. end
module Make_Lattice_Product:
If C.collapse
then L1.bottom,_
= _,L2.bottom
= bottom