write-integer
A function.
Exported from
Module Cheap-IO
Arguments
arg
An instance of
<general-integer>
.
arg
An instance of
<integer>
.
This module exports some basic, unextendable input and output functionality.
Parent class of all integers.
The class of integers.