Module prop::nat

source[−]
Expand description

Natural numbers with types.

Structs

NaN

Not-a-number.

S

Successor.

Z

Zero.

Constants

_0

  • _1

  • _2

  • _3

  • Traits

    Add

    Addition.

    EqNat

    Whether two natural numbers are equal.

    Lt

    Less than comparison.

    Nat

    Implemented for natural numbers.

    Functions

    eq

    Check that one natural number is equal to the other.

    lt

    Check that one natural number is less than the other.

    Type Definitions

    One

    The one type.

    Three

    The three type.

    Two

    The two type.

    Zero

    The zero type.