Stdlib.Data.Nat

Contents

builtin nat type NatSource #

Constructors

zero : Nat
suc : Nat → Nat

builtin nat-plus + : Nat → Nat → NatSource #

builtin nat-mul * : Nat → Nat → NatSource #

builtin nat-sub sub : Nat → Nat → NatSource #

builtin nat-udiv terminating udiv : Nat → Nat → NatSource #

builtin nat-div div : Nat → Nat → NatSource #

builtin nat-mod mod : Nat → Nat → NatSource #

Description

Definitions