Mthread.Mt_ids
type raw_id = id_type * int
val pretty_raw_id : Stdlib.Format.formatter -> raw_id -> unit
val read_id_state : Mt_memory.Types.state -> raw_id -> Mt_memory.Types.value
val read_id_state_enumerate :
int ->
Mt_memory.Types.state ->
raw_id ->
int list Mt_lib.conversion
val write_id_state :
Mt_memory.Types.state ->
raw_id ->
int ->
Mt_memory.Types.state
val replace_id_value :
Mt_memory.Types.state ->
raw_id ->
before:int ->
after:int ->
Mt_memory.Types.state
val of_thread : Eva__.Thread.t -> raw_id
val of_mutex : Eva__.Mutex.t -> raw_id
val of_queue : Eva__.Mqueue.t -> raw_id