stdlib - 0.0.1

Stdlib.Data.Nat.Ord

Definitions

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#

min : Nat Nat NatSource#

max : Nat Nat NatSource#