Type Alias Z3 

pub type Z3 = Successor<Z2>;

Aliased Type

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