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