Type Alias Twist 

pub type Twist = Vec<(u32, u32, bool)>;

An explicit literal renaming var → (var′, flip), stored on a quotient-DAG edge and verified by the checker: it witnesses that a recomputed cofactor is ~-equivalent to its stored child.

Aliased Type

pub struct Twist { /* private fields */ }