Type Alias One

pub type One = Suc<Zero>;

Aliased Type

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