module Stdlib.System.IO.Nat;

import Stdlib.System.IO.Base open;
import Stdlib.Data.Nat open;
import Stdlib.System.IO.String open;

builtin nat-print
axiom printNat : Nat → IO;

printNatLn (n : Nat) : IO := printNat n >> printString "\n";