Frama-C API - Mt_mutexes
val mutexes_protecting_zones' : (Frama_c_kernel.Locations.Zone.t * Mt_cfg_types.SetNodeIdAccess.t) list -> Mt_mutexes_types.MutexesByZone.tval pretty_with_mutexes : Stdlib.Format.formatter -> Mt_shared_vars.Precise.list_accesses -> unitval pretty_protection : Stdlib.Format.formatter -> protection -> unitval pretty_protection_per_thread : Stdlib.Format.formatter -> (Mt_thread.thread * Mt_thread.thread * protection) -> unittype zone_protection = (Frama_c_kernel.Locations.Zone.t * (Mt_thread.thread * Mt_thread.thread * protection) list) listval pretty_zone_protection : Stdlib.Format.formatter -> (Frama_c_kernel.Locations.Zone.t * (Mt_thread.thread * Mt_thread.thread * protection) list) -> unitval check_protection : Mt_thread.analysis_state -> Mt_shared_vars.Precise.list_accesses -> zone_protectionval pretty_protections : Stdlib.Format.formatter -> (Frama_c_kernel.Locations.Zone.t * (Mt_thread.thread * Mt_thread.thread * protection) list) list -> unitval need_sync : 'a Frama_c_kernel.Cil_datatype.Stmt.Hashtbl.t -> (Frama_c_kernel.Cil_datatype.Stmt.Hashtbl.key * 'a) list