module Abstract_interp: sig
.. end
Signatures for generic lattices, with functors providing generic
implementations.
exception Not_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 Rel: sig
.. end
"Relative" integers.
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_Sum: