let
empty_type loc sexp =
of_sexp_error (loc ^
"_of_sexp: trying to convert an empty type"
) sexp