Stdlib.Data.Nat.Ord
Contents
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#