Frama-C API - Global
module Access = Mt_shared_vars_types.StmtIdAccessmodule Set = Mt_shared_vars_types.SetStmtIdAccessmodule ZoneMap : Frama_c_kernel.Lmap_bitwise.Location_map_bitwise with type v = Set.ttype list_accesses = (Frama_c_kernel.Locations.Zone.t * Set.t) listval pretty_concurrent_accesses : ?f:Access.t Frama_c_kernel.Pretty_utils.formatter -> unit -> Stdlib.Format.formatter -> list_accesses -> unitval all_zones_accessed : list_accesses -> Frama_c_kernel.Locations.Zone.tval concurrent_accesses_all_threads : Mt_thread.ThreadState.t list -> (list_accesses * list_accesses) * ZoneMap.map