1(* Author: Michael Norrish *) 2 3(* very simple-minded implementation of arbitrary precision natural 4 numbers *) 5 6structure Arbnum :> Arbnum = 7struct 8 9open Arbnumcore; 10 11fun pp_num n = HOLPP.PrettyString (toString n) 12 13local 14 open StringCvt HOLPP 15in 16 fun base_pp_num BIN n = HOLPP.PrettyString ("0b" ^ toBinString n) 17 | base_pp_num OCT n = HOLPP.PrettyString ("0" ^ toOctString n) 18 | base_pp_num DEC n = HOLPP.PrettyString (toString n) 19 | base_pp_num HEX n = HOLPP.PrettyString ("0x" ^ toHexString n) 20end 21 22end 23