Structure HOLset

Source File	Identifier index	Theory binding index

signature HOLset =
sig
  include Redblackset
  val pp_holset : FixedInt.int -> ('a * FixedInt.int -> HOLPP.pretty) ->
                  'a set -> HOLPP.pretty
end

Source File	Identifier index	Theory binding index

HOL 4, Trindemossen-1