let t_of_sexp set = t_of_sexp H.t_of_sexp set