Type Alias SP81

pub type SP81 = Zero<Zero<Zero<Zero<Plus<Term>>>>>;

Aliased Type

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