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
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