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