Structure Arbint

Source File	Identifier index	Theory binding index

signature Arbint =
sig

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

end

Source File	Identifier index	Theory binding index