1(* Author: Michael Norrish *) 2 3structure Arbint :> Arbint = 4struct 5 6open Arbintcore 7 8fun pp_int bi = HOLPP.add_string (toString bi) 9 10end 11