Module UninitDomain.Record

Parameters

• Domain1 : Absint.AbstractDomain.S
• Domain2 : Absint.AbstractDomain.S
• Domain3 : Absint.AbstractDomain.S

Signature

type t = {

maybe_uninit_vars : Domain1.t;

aliased_vars : Domain2.t;

prepost : Domain3.t prepost;

}

val leq : lhs:t -> rhs:t -> bool

val join : t -> t -> t

val widen : prev:t -> next:t -> num_iters:int -> t

val pp : F.formatter -> t -> unit