Frama-C API - Mt_ids
type raw_id = id_type * intval pretty_raw_id : Stdlib.Format.formatter -> raw_id -> unitval read_id_state : Mt_memory.Types.state -> raw_id -> Mt_memory.Types.valueval read_id_state_enumerate : int -> Mt_memory.Types.state -> raw_id -> int list Mt_lib.conversionval write_id_state : Mt_memory.Types.state -> raw_id -> int -> Mt_memory.Types.stateval replace_id_value : Mt_memory.Types.state -> raw_id -> before:int -> after:int -> Mt_memory.Types.stateval of_thread : Eva__.Thread.t -> raw_idval of_mutex : Eva__.Mutex.t -> raw_idval of_queue : Eva__.Mqueue.t -> raw_id