val t_of_sexp : Sexplib0.Sexp.t -> Elt.t