1structure HOLset :> HOLset =
2struct
3  exception NotFound = Redblackset.NotFound
4  open Redblackset
5
6  fun pp_holset dpth ipp s = HOLPP.PrettyString "<holset>"
7end
8