Frama-C API - `MutexPresence`

type key

type t

module KeySet : sig ... end

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