builtin nat-eq == : Nat → Nat → BoolSource#

/= : Nat → Nat → BoolSource#

builtin nat-le <= : Nat → Nat → BoolSource#

builtin nat-lt < : Nat → Nat → BoolSource#

> : Nat → Nat → BoolSource#

>= : Nat → Nat → BoolSource#

compare : Nat → Nat → OrderingSource#

min : Nat → Nat → NatSource#

max : Nat → Nat → NatSource#