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 ... end
module Ssreflect_plugin : sig ... end
type ssrwkind = Ssreflect_plugin.Ssrequality.ssrwkind =
| RWred of Ssreflect_plugin.Ssrast.ssrsimpl
| RWdef
| RWeq
val ssrwkind_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> ssrwkind
val sexp_of_ssrwkind : ssrwkind -> Ppx_sexp_conv_lib.Sexp.t
type ssrrule = ssrwkind * Ssreflect_plugin.Ssrast.ssrterm
val ssrrule_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> ssrrule
val sexp_of_ssrrule : ssrrule -> Ppx_sexp_conv_lib.Sexp.t
type 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 -> ssrrwarg
val sexp_of_ssrrwarg : ssrrwarg -> Ppx_sexp_conv_lib.Sexp.t
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>