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