sig
  type t = { exc : exn; sexp : Type.t; sub_sexp : Type.t; }
  exception E of Pre_sexp.Of_string_conv_exn.t
end