Frama-C API - NodeValueState
type t = node_value_stateval dummy : tval threads_presence : [> `NotStarted | `Prior | `Started | `MaybeStarted ] -> Eva__.Thread.t -> Mt_memory.Types.state -> Mt_types.presence_flag Mt_lib.conversion_with_warningval mutex_presence : Eva__.Mutex.t -> Mt_memory.Types.state -> Mt_types.presence_flag Mt_lib.conversion_with_warning