1signature Arbint = 2sig 3 4 include Arbintcore where type int = Arbintcore.int 5 val pp_int : int -> HOLPP.pretty 6 7end 8