coq-serapi.serlib
Serlib.Ser_constr_matching
coq-serapi.serapi_v8_14
coq-serapi.sertop_v8_12
serlib_extraction
serlib_firstorder
serlib_funind
serlib_ltac
serlib_ring
serlib_ssr
serlib_ssrmatching
type binding_bound_vars = Constr_matching.binding_bound_vars
val binding_bound_vars_of_sexp : Sexplib.Sexp.t -> binding_bound_vars
val sexp_of_binding_bound_vars : binding_bound_vars -> Sexplib.Sexp.t