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