juvix-docs - 0.0.0

Stdlib.System.IO.Int

Definitions

builtin int-print axiom printInt : Int -> IOSource#