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