Stdlib.System.IO.Nat
Contents
builtin nat-print axiom printNat : Nat → IOSource#
printNatLn (n : Nat) : IOSource#