Module Abstract_interp

exception Error_Top
exception Error_Bottom
exception Not_less_than
exception Can_not_subdiv
type truth =
| True
| False
| Unknown
val inv_truth : truth -> truth
module Comp : sig ... end
module Int : sig ... end
module Rel : sig ... end
module Bool : sig ... end
module Make_Lattice_Base : functor (V : Lattice_type.Lattice_Value) -> sig ... end
module Make_Lattice_Set : functor (V : Datatype.S) -> functor (Set : sig ... end) -> sig ... end
module Make_Hashconsed_Lattice_Set : functor (V : Hptmap.Id_Datatype) -> functor (Set : sig ... end) -> sig ... end
module type Collapse = sig ... end
module Make_Lattice_Product : functor (L1 : Lattice_type.AI_Lattice_with_cardinal_one) -> functor (L2 : Lattice_type.AI_Lattice_with_cardinal_one) -> functor (C : Collapse) -> sig ... end
module Make_Lattice_UProduct : functor (L1 : Lattice_type.AI_Lattice_with_cardinal_one) -> functor (L2 : Lattice_type.AI_Lattice_with_cardinal_one) -> sig ... end
module Make_Lattice_Sum : functor (L1 : Lattice_type.AI_Lattice_with_cardinal_one) -> functor (L2 : Lattice_type.AI_Lattice_with_cardinal_one) -> sig ... end