Frama-C API - `CfgConcur`

type t = cfg_concur

val default : t

val combine : t -> t -> t

val add_access : (Mt_types.rw * Frama_c_kernel.Locations.Zone.t) -> t -> t

val must_be_in_cfg : keep:var_access_kind -> t -> bool

See CfgNode.must_be_in_cfg below

val has_concur_accesses : t -> bool