Frama-C API - `Presence`

type key

type t

module KeySet : Frama_c_kernel.Datatype.Set with type elt = key

val pretty : t Frama_c_kernel.Pretty_utils.formatter

val equal : t -> t -> bool

val hash : t -> int

val compare : t -> t -> int

val empty : t

val is_empty : t -> bool

val find : t -> key -> presence_flag

val add : key -> presence_flag -> t -> t

val combine : t -> t -> t

val only_present : t -> KeySet.t