1signature Arbnum = 2sig 3 4 include Arbnumcore where type num = Arbnumcore.num 5 6 val base_pp_num : StringCvt.radix -> num -> HOLPP.pretty 7 val pp_num : num -> HOLPP.pretty 8 9end 10
1signature Arbnum = 2sig 3 4 include Arbnumcore where type num = Arbnumcore.num 5 6 val base_pp_num : StringCvt.radix -> num -> HOLPP.pretty 7 val pp_num : num -> HOLPP.pretty 8 9end 10