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

HOL 4, Kananaskis-13