Frama-C API - `Mthread`

module Mt_analysis_fixpoint : sig ... end

module Mt_analysis_hooks : sig ... end

module Mt_cfg : sig ... end

module Mt_cfg_types : sig ... end

module Mt_cil : sig ... end

module Mt_ids : sig ... end

module Mt_interferences : sig ... end

module Mt_lib : sig ... end

module Mt_main : sig ... end

module Mt_memory : sig ... end

module Mt_mutexes : sig ... end

module Mt_mutexes_types : sig ... end

module Mt_options : sig ... end

module Mt_outputs : sig ... end

module Mt_shared_vars : sig ... end

module Mt_shared_vars_types : sig ... end

module Mt_thread : sig ... end

module Mt_types : sig ... end

Kind of access to zones

module Trie : sig ... end