Djot_kernel.Nat0
val pred : int -> int
val sub : int -> int -> int
val max : int -> int -> int
val min : int -> int -> int