DEFINITION MODULE WholeStr; (* ISO 10514-1: conversion between whole numbers and their string forms. *) IMPORT ConvTypes; TYPE ConvResults = ConvTypes.ConvResults; PROCEDURE StrToInt (str : ARRAY OF CHAR; VAR int : INTEGER; VAR res : ConvResults); PROCEDURE IntToStr (int : INTEGER; VAR str : ARRAY OF CHAR); PROCEDURE StrToCard (str : ARRAY OF CHAR; VAR card : CARDINAL; VAR res : ConvResults); PROCEDURE CardToStr (card : CARDINAL; VAR str : ARRAY OF CHAR); END WholeStr.