Structure Arbnum

Source File	Identifier index	Theory binding index

signature Arbnum =
sig

  include Arbnumcore where type num = Arbnumcore.num

  val base_pp_num : StringCvt.radix -> num -> HOLPP.pretty
  val pp_num      : num -> HOLPP.pretty

end

Source File	Identifier index	Theory binding index

HOL 4, Kananaskis-13