Type Alias DetTid 

pub type DetTid = DetPid;

Deterministic “virtual” version of reverie::Tid

Aliased Type

pub struct DetTid(/* private fields */);