IntDomainProperties (p.goblint.1.1.1.doc.goblint.lib.IntDomainProperties)

module BI = IntOps.BigIntOps

module type OldS = sig ... end

module type S = IntDomain.S with type int_t = BI.t

module WithIkind (I : S) (Ik : IntDomain.Ikind) : OldS

module IntegerSet : sig ... end

module CD = IntegerSet

module AF (AD : OldS) : sig ... end

module Valid (AD : OldS) : DomainProperties.S

module All (D : OldS) : DomainProperties.S

module AllNonAssoc (D : OldS) : DomainProperties.S