IntInf structure

May 20, 2026 ยท View on GitHub

Up to index

The IntInf structure provides arithmetic and conversion operations for arbitrary-precision integers. Operations are analogous to those in Int but operate on unbounded values.

Specified by the Standard ML Basis Library.

Synopsis