Module peano

Source

Structs§

Suc
Zero

Traits§

Add
Max

Type Aliases§

One
Two