1signature HOLset = 2sig 3 include Redblackset 4 val pp_holset : int -> ('a * int -> HOLPP.pretty) -> 'a set -> HOLPP.pretty 5end 6
1signature HOLset = 2sig 3 include Redblackset 4 val pp_holset : int -> ('a * int -> HOLPP.pretty) -> 'a set -> HOLPP.pretty 5end 6