Sexp_app.Sexp_extinclude Core.Sexpable with type t := tinclude Sexplib0.Sexpable.Of_sexp with type t := tval t_of_sexp : Sexplib0.Sexp.t -> tinclude Sexplib0.Sexpable.Sexp_of with type t := tval sexp_of_t : t -> Sexplib0.Sexp.tval equal : Core.Sexp.t -> t -> boolval sub_expressions : t -> t Lazy_list.t