TicTacToe - 0.1.0

Stdlib.Data.Nat.Ord

Definitions

builtin nat-eq == : Nat Nat BoolSource#

Tests for equality.

/= (x y : Nat) : BoolSource#

Tests for inequality.

builtin nat-le <= : Nat Nat BoolSource#

Returns true iff the first element is less than or equal to the second.

builtin nat-lt < (n m : Nat) : BoolSource#

Returns true iff the first element is less than the second.

> (n m : Nat) : BoolSource#

Returns true iff the first element is greater than the second.

>= (n m : Nat) : BoolSource#

Returns true iff the first element is greater than or equal to the second.

min (x y : Nat) : NatSource#

Returns the smaller Nat.

max (x y : Nat) : NatSource#

Returns the larger Nat.