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 -> HOLPP.ppstream -> num -> unit
  val pp_num      : HOLPP.ppstream -> num -> unit

end

Source File	Identifier index	Theory binding index

HOL 4, Kananaskis-10