Structure Arbint

Source File	Identifier index	Theory binding index

signature Arbint =
sig

  include Arbintcore where type int = Arbintcore.int
  val pp_int     : HOLPP.ppstream -> int -> unit

end

Source File	Identifier index	Theory binding index