package coq-serapi
-
coq-serapi.serapi_v8_14
-
coq-serapi.serlib
-
-
coq-serapi.serlib.extraction_plugin
-
coq-serapi.serlib.firstorder_plugin
-
coq-serapi.serlib.funind_plugin
-
coq-serapi.serlib.ltac
-
coq-serapi.serlib.ring_plugin
-
coq-serapi.serlib.ssreflect_plugin
-
coq-serapi.serlib.ssrmatching_plugin
-
coq-serapi.sertop_v8_12
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
module Ssrmatching_plugin : sig ... endmodule Ssreflect_plugin : sig ... endtype ssrwkind = Ssreflect_plugin.Ssrequality.ssrwkind = | RWred of Ssreflect_plugin.Ssrast.ssrsimpl| RWdef| RWeq
val ssrwkind_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> ssrwkindval sexp_of_ssrwkind : ssrwkind -> Ppx_sexp_conv_lib.Sexp.ttype ssrrule = ssrwkind * Ssreflect_plugin.Ssrast.ssrtermval ssrrule_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> ssrruleval sexp_of_ssrrule : ssrrule -> Ppx_sexp_conv_lib.Sexp.ttype ssrrwarg =
(Ssreflect_plugin.Ssrast.ssrdir * Ssreflect_plugin.Ssrast.ssrmult)
* ((Ssreflect_plugin.Ssrast.ssrdocc
* Ssrmatching_plugin.Ssrmatching.rpattern option)
* ssrrule)val ssrrwarg_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> ssrrwargval sexp_of_ssrrwarg : ssrrwarg -> Ppx_sexp_conv_lib.Sexp.t