coq-serapi.serlib
Serlib.Ser_namegen
coq-serapi.serapi_v8_14
coq-serapi.sertop_v8_12
serlib_extraction
serlib_firstorder
serlib_funind
serlib_ltac
serlib_ring
serlib_ssr
serlib_ssrmatching
module Names = Ser_names
type intro_pattern_naming_expr = Namegen.intro_pattern_naming_expr =
| IntroIdentifier of Names.Id.t
| IntroFresh of Names.Id.t
| IntroAnonymous
val intro_pattern_naming_expr_to_yojson : intro_pattern_naming_expr -> Yojson.Safe.t
val intro_pattern_naming_expr_of_yojson : Yojson.Safe.t -> intro_pattern_naming_expr Ppx_deriving_yojson_runtime.error_or
val _ : Yojson.Safe.t -> intro_pattern_naming_expr Ppx_deriving_yojson_runtime.error_or
val intro_pattern_naming_expr_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> intro_pattern_naming_expr
val sexp_of_intro_pattern_naming_expr : intro_pattern_naming_expr -> Ppx_sexp_conv_lib.Sexp.t