Module Mthread.Mt_idsSource

Sourcetype id_type
Sourcetype raw_id = id_type * int
Sourceval pretty_raw_id : Stdlib.Format.formatter -> raw_id -> unit
Sourceval read_id_state_enumerate : int -> Mt_memory.Types.state -> raw_id -> int list Mt_memory.conversion
Sourceval write_id_state : Mt_memory.Types.state -> raw_id -> int -> Mt_memory.Types.state
Sourceval replace_id_value : Mt_memory.Types.state -> raw_id -> before:int -> after:int -> Mt_memory.Types.state
Sourceval of_thread : Eva__.Thread.t -> raw_id
Sourceval of_mutex : Eva__.Mutex.t -> raw_id
Sourceval of_queue : Eva__.Mqueue.t -> raw_id