Module Powersetwithunder.MakeSource

Powerset with lower and upper approximations

Parameters

module Elt : ELT

Signature

module Set : sig ... end
Sourcemodule USet : sig ... end
Sourcetype l = Set.t
Sourcetype u = USet.t
Sourceval empty : t
Sourceval bottom : t
Sourceval top : t
Sourceval add_u : Elt.t -> t -> t
Sourceval add_o : Elt.t -> t -> t
Sourceval mem_u : Elt.t -> t -> bool
Sourceval mem_o : Elt.t -> t -> bool
Sourceval remove : Elt.t -> t -> t
Sourceval is_empty : t -> bool
Sourceval is_bottom : 'a Mopsa_utils.Bot.with_bot -> bool
Sourceval is_top : t -> bool
Sourceval subset : t -> t -> bool
Sourceval equal : t -> t -> bool
Sourceval join : t -> t -> t
Sourceval meet : t -> t -> t
Sourceval union : t -> t -> t
Sourceval inter : t -> t -> t
Sourceval widen : 'a Core.Context.ctx -> t -> t -> t
Sourceval fold_u : (Elt.t -> 'a -> 'a) -> t -> 'a -> 'a
Sourceval fold_o : (Elt.t -> 'a -> 'a) -> t -> 'a -> 'a
Sourceval print : Core.All.printer -> t -> unit