module Abstract_interp:sig
..end
exception Not_less_than
Lattice.cardinal_less_than
.exception Can_not_subdiv
Fval.subdiv_float_interval
.module Bot:sig
..end
module Int:sig
..end
module Rel:sig
..end
module Make_Lattice_Base:
module Make_Lattice_Set:
module Make_Hashconsed_Lattice_Set:
module type Collapse =sig
..end
module Make_Lattice_Product:functor (
L1
:
Lattice_type.AI_Lattice_with_cardinal_one
) ->
C.collapse
then L1.bottom,_
= _,L2.bottom
= bottom
module Make_Lattice_UProduct:functor (
L1
:
Lattice_type.AI_Lattice_with_cardinal_one
) ->
functor (
L2
:
Lattice_type.AI_Lattice_with_cardinal_one
) ->
Lattice_UProduct
with type t1 = L1.t and type t2 = L2.t
module Make_Lattice_Sum:functor (
L1
:
Lattice_type.AI_Lattice_with_cardinal_one
) ->
functor (
L2
:
Lattice_type.AI_Lattice_with_cardinal_one
) ->
Lattice_Sum
with type t1 = L1.t and type t2 = L2.t