module Abstract_interp: sig
.. end
Undocumented.
Do not use this module if you don't know what you are doing.
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 LatValue = Datatype.S_with_collections
module Int: sig
.. end
module Make_Lattice_Base:
module Make_Pair:
module Make_Lattice_Set:
module Make_Hashconsed_Lattice_Set:
See e.g.
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