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