Module Typerep_sexp.Sexprep

module Of_sexp : sig ... end

module Sexp_of : Typerep_extended.Std.Type_generic.S with type 'a t = 'a ‑> Core_kernel.Sexp.t

val t_of_sexp : 'a Typerep_extended.Std.Typerep.t ‑> [ `generic of Core_kernel.Sexp.t ‑> 'a ]

val sexp_of_t : 'a Typerep_extended.Std.Typerep.t ‑> [ `generic of 'a ‑> Core_kernel.Sexp.t ]

module Make_sexpable : functor (X : Typerep_extended.Std.Typerepable.S0) -> Core_kernel.Sexpable.S with type t := X.t

val make_sexpable : 'a Typerep_extended.Std.Typerep.t ‑> (module Core_kernel.Sexpable.S with type t = 'a)

module Tagged : sig ... end