Mt_cfg_types.NodeValueState
type t = node_value_state
val dummy : t
val threads_presence :
[> `NotStarted | `Prior | `Started | `MaybeStarted ] ->
Eva__.Thread.t ->
Mt_memory.Types.state ->
Mt_types.presence_flag Mt_lib.conversion_with_warning
val mutex_presence :
Eva__.Mutex.t ->
Mt_memory.Types.state ->
Mt_types.presence_flag Mt_lib.conversion_with_warning