Previous  Up  Next

Module Map_Lattice

module Map_Lattice: sig .. end
Map from a set of keys to values (a Lattice_With_Diff), equipped with the natural lattice interpretation. Keys must be mappable to integers in an unique way, and one of its elements (null) is singled out.
module type Key = sig .. end
module Make_without_cardinal: 
functor (K : Key) -> 
functor (Top_Param : Lattice_type.Lattice_Hashconsed_Set  with type O.elt=K.t) -> 
functor (V : sig
include Lattice_type.Full_Lattice



val pretty_debug : t Pretty_utils.formatter
end) -> 
functor (Comp : sig


val e : bool

See Hptmap for the documentation of this option





val f : K.t -> V.t -> bool


val compose : bool -> bool -> bool


val default : bool
end) -> 
functor (L : sig


val v : (K.t * V.t) list list
end) -> sig .. end
module Make: 
functor (K : Key) -> 
functor (Top_Param : Lattice_type.Lattice_Hashconsed_Set  with type O.elt=K.t) -> 
functor (V : sig


type generic_widen_hint 




type size_widen_hint 



include Lattice_type.Full_AI_Lattice_with_cardinality



val pretty_debug : t Pretty_utils.formatter
end) -> 
functor (Comp : sig


val e : bool

See Hptmap for the documentation of this option





val f : K.t -> V.t -> bool


val compose : bool -> bool -> bool


val default : bool
end) -> 
functor (L : sig


val v : (K.t * V.t) list list
end) -> sig .. end