Type Alias miri::CallId

pub type CallId = NonZero<u64>;

Aliased Type

struct CallId(/* private fields */);