Module Abstract_value.Int_Intervals.IntIntervalsHashtbl


module IntIntervalsHashtbl: Buckx.MakeBig(sig
type t = Abstract_value.Int_Intervals.tt 
val equal : Abstract_value.Int_Intervals.tt -> Abstract_value.Int_Intervals.tt -> bool
val hash : Abstract_value.Int_Intervals.tt -> int
val pretty : Format.formatter -> Abstract_value.Int_Intervals.tt -> unit
val id : string
end)

type data 
type t 
val create : int -> t
val merge : t -> data -> data
val iter : t -> (data -> unit) -> unit
val clear : t -> unit
val release : t -> unit
val shallow_copy : t -> t
val addr : t -> int
val overwrite : old:t -> fresh:t -> unit
val pretty_debug : Format.formatter -> t -> int -> unit