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