Type Alias Z4 

pub type Z4 = Successor<Z3>;

Aliased Type

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