List of all items

Structs

• False
• Succ
• True
• Zero

Traits

• AndAlso
• Bool
• Equals
• Eval
• Fact
• Fib
• If
• LessThan
• Minus
• Mod
• Nat
• Not
• OrElse
• Plus
• Pred
• Times

Type Aliases

• Eight
• Five
• Four
• Nine
• One
• Seven
• Six
• Ten
• Three
• Two