Module Serlib.Ser_eConstrSource

Sourcetype t = EConstr.t
Sourceval sexp_of_t : t -> Sexplib.Sexp.t
Sourceval t_of_sexp : Sexplib.Sexp.t -> t
Sourcetype existential = EConstr.existential
Sourceval existential_of_sexp : Sexplib.Sexp.t -> existential
Sourceval sexp_of_existential : existential -> Sexplib.Sexp.t
Sourcetype constr = t
Sourceval sexp_of_constr : constr -> Sexplib.Sexp.t
Sourceval constr_of_sexp : Sexplib.Sexp.t -> constr
Sourcetype types = t
Sourceval sexp_of_types : types -> Sexplib.Sexp.t
Sourceval types_of_sexp : Sexplib.Sexp.t -> types
Sourcetype unsafe_judgment = EConstr.unsafe_judgment
Sourceval sexp_of_unsafe_judgment : unsafe_judgment -> Sexplib.Sexp.t
Sourceval unsafe_judgment_of_sexp : Sexplib.Sexp.t -> unsafe_judgment