external sexp_of_t : t -> t = "%identity"