Type Alias Z5 

pub type Z5 = Successor<Z4>;

Aliased Type

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