Module Cmodule.EquivBaseAddrs

include sig ... end
val bottom : t
val top : t
val singleton : t -> t
val map_fst : (AddrSet.t -> AddrSet.t) -> t -> t
val map_snd : (OtherMap.t -> OtherMap.t) -> t -> t
val subset : t -> t -> bool
val apply : ('a -> 'a) -> ('b -> 'b) -> ('a * 'b) -> 'a * 'b
val apply2 : ('a -> 'a -> 'a) -> ('b -> 'b -> 'b) -> ('a * 'b) -> ('a * 'b) -> 'a * 'b
val join : t -> t -> t
val meet : t -> t -> t
val print : Framework.Core.All.printer -> t -> unit
val empty : AddrSet.t * OtherMap.t
val is_bottom : (AddrSet.t * OtherMap.t) -> bool
val widen : 'a -> t -> t -> t