Ser_ssrparser (p.coq-lsp.0.2.4+8.20.doc.serlib_ssr.Serlib_ssr.Ser

coq-lsp
- CHANGES
- README
- Library Astdump_plugin
  - Astdump_plugin
- Library Count_genargs_plugin
  - Count_genargs_plugin
- Library Example_plugin
  - Example_plugin
- Library Explain_errors
  - Explain_errors
- Library Goaldumpl_plugin
  - Goaldumpl_plugin
- Library Savevo_plugin
  - Savevo_plugin
- Library Unidiff_plugin
  - Unidiff_plugin
- Library coq-lsp.coq
  - Coq
- Library coq-lsp.fleche
  - Fleche
- Library coq-lsp.lang
  - Lang
- Library coq-lsp.layout-printer
  - Layout
- Library coq-lsp.lsp
  - Fleche_lsp
- Library coq-lsp.petanque
  - Petanque
- Library coq-lsp.plugin
- Library coq-lsp.request
  - Request
- Library coq-lsp.serlib
  - Serlib
- Library fleche_waterproof
  - Fleche_waterproof
- Library petanque_json
  - Petanque_json
- Library petanque_shell
  - Petanque_shell
- Library serlib_btauto
  - Serlib_btauto
- Library serlib_cc
  - Serlib_cc
- Library serlib_extraction
  - Serlib_extraction
- Library serlib_firstorder
  - Serlib_firstorder
- Library serlib_funind
  - Serlib_funind
- Library serlib_ltac
  - Serlib_ltac
- Library serlib_ltac2
  - Serlib_ltac2
- Library serlib_ltac2_ltac1
  - Serlib_ltac2_ltac1
- Library serlib_micromega
  - Serlib_micromega
- Library serlib_micromega_core
  - Serlib_micromega_core
- Library serlib_number_string_notation_plugin
  - Serlib_number_string_notation_plugin
- Library serlib_ring
  - Serlib_ring
- Library serlib_ssr
  - Serlib_ssr
- Library serlib_ssrmatching
  - Serlib_ssrmatching
- Library serlib_tauto
  - Serlib_tauto
- Library serlib_zify
  - Serlib_zify
- Sources

module Ssrmatching = Serlib_ssrmatching.Ser_ssrmatching

Sourcemodule Ltac_plugin : sig ... end

Sourcemodule Ssrast = Ser_ssrast

Sourcemodule Ssreflect_plugin : sig ... end

Sourcetype t_movearg = Ssrmatching.cpattern Ssrast.ssragens Ssrast.ssrmovearg

Sourceval t_movearg_of_sexp : Sexplib0.Sexp.t -> t_movearg

Sourceval sexp_of_t_movearg : t_movearg -> Sexplib0.Sexp.t

Sourceval t_movearg_to_yojson : t_movearg -> Yojson.Safe.t

Source

val t_movearg_of_yojson : 
  Yojson.Safe.t ->
  t_movearg Ppx_deriving_yojson_runtime.error_or

Source

val hash_fold_t_movearg : 
  Ppx_hash_lib.Std.Hash.state ->
  t_movearg ->
  Ppx_hash_lib.Std.Hash.state

Sourceval hash_t_movearg : t_movearg -> Ppx_hash_lib.Std.Hash.hash_value

Sourceval compare_t_movearg : t_movearg -> t_movearg -> int

Source

val ser_wit_ssrmovearg : 
  (t_movearg, t_movearg, t_movearg) Serlib.Ser_genarg.gen_ser

Source

val ser_wit_ssrapplyarg : 
  (Ssrast.ssrapplyarg, Ssrast.ssrapplyarg, Ssrast.ssrapplyarg)
    Serlib.Ser_genarg.gen_ser

Source

val ser_wit_clauses : 
  (Ssrast.clauses, Ssrast.clauses, Ssrast.clauses) Serlib.Ser_genarg.gen_ser

Sourcetype t_rwarg = Ssreflect_plugin.Ssrequality.ssrrwarg list

Sourceval t_rwarg_of_sexp : Sexplib0.Sexp.t -> t_rwarg

Sourceval sexp_of_t_rwarg : t_rwarg -> Sexplib0.Sexp.t

Source

val hash_fold_t_rwarg : 
  Ppx_hash_lib.Std.Hash.state ->
  t_rwarg ->
  Ppx_hash_lib.Std.Hash.state

Sourceval hash_t_rwarg : t_rwarg -> Ppx_hash_lib.Std.Hash.hash_value

Sourceval compare_t_rwarg : t_rwarg -> t_rwarg -> int

Sourceval ser_wit_ssrrwargs : (t_rwarg, t_rwarg, t_rwarg) Serlib.Ser_genarg.gen_ser

Sourcemodule A0 : sig ... end

Source

val ser_wit_ssrhavefwdwbinders : 
  (A0.raw, A0.glb, A0.top) Serlib__Ser_genarg.gen_ser

Sourcetype ssrfwdview = Ssreflect_plugin.Ssrast.ast_closure_term list

Sourceval ssrfwdview_of_sexp : Sexplib0.Sexp.t -> ssrfwdview

Sourceval sexp_of_ssrfwdview : ssrfwdview -> Sexplib0.Sexp.t

Sourceval ssrfwdview_to_yojson : ssrfwdview -> Yojson.Safe.t

Source

val ssrfwdview_of_yojson : 
  Yojson.Safe.t ->
  ssrfwdview Ppx_deriving_yojson_runtime.error_or

Source

val hash_fold_ssrfwdview : 
  Ppx_hash_lib.Std.Hash.state ->
  ssrfwdview ->
  Ppx_hash_lib.Std.Hash.state

Sourceval hash_ssrfwdview : ssrfwdview -> Ppx_hash_lib.Std.Hash.hash_value

Sourceval compare_ssrfwdview : ssrfwdview -> ssrfwdview -> int

Sourcetype ssreqid = Ssreflect_plugin.Ssrast.ssripat option

Sourceval ssreqid_of_sexp : Sexplib0.Sexp.t -> ssreqid

Sourceval sexp_of_ssreqid : ssreqid -> Sexplib0.Sexp.t

Sourceval ssreqid_to_yojson : ssreqid -> Yojson.Safe.t

Source

val ssreqid_of_yojson : 
  Yojson.Safe.t ->
  ssreqid Ppx_deriving_yojson_runtime.error_or

Source

val hash_fold_ssreqid : 
  Ppx_hash_lib.Std.Hash.state ->
  ssreqid ->
  Ppx_hash_lib.Std.Hash.state

Sourceval hash_ssreqid : ssreqid -> Ppx_hash_lib.Std.Hash.hash_value

Sourceval compare_ssreqid : ssreqid -> ssreqid -> int

Source

type ssrarg =
  ssrfwdview
  * (ssreqid
     * (Ssrast.Ssrmatching_plugin.Ssrmatching.cpattern
          Ssreflect_plugin.Ssrast.ssragens
        * Ssreflect_plugin.Ssrast.ssripats))

Sourceval ssrarg_of_sexp : Sexplib0.Sexp.t -> ssrarg

Sourceval sexp_of_ssrarg : ssrarg -> Sexplib0.Sexp.t

Sourceval ssrarg_to_yojson : ssrarg -> Yojson.Safe.t

Source

val ssrarg_of_yojson : 
  Yojson.Safe.t ->
  ssrarg Ppx_deriving_yojson_runtime.error_or

Sourceval _ : Yojson.Safe.t -> ssrarg Ppx_deriving_yojson_runtime.error_or

Source

val hash_fold_ssrarg : 
  Ppx_hash_lib.Std.Hash.state ->
  ssrarg ->
  Ppx_hash_lib.Std.Hash.state

Sourceval hash_ssrarg : ssrarg -> Ppx_hash_lib.Std.Hash.hash_value

Sourceval compare_ssrarg : ssrarg -> ssrarg -> int

Sourceval ser_wit_ssrarg : (ssrarg, ssrarg, ssrarg) Serlib.Ser_genarg.gen_ser

Sourcemodule A1 : sig ... end

Sourceval ser_wit_ssrhintarg : (A1.raw, A1.glb, A1.top) Serlib__Ser_genarg.gen_ser

Sourcemodule A2 : sig ... end

Sourceval ser_wit_ssrseqarg : (A2.raw, A2.glb, A2.top) Serlib__Ser_genarg.gen_ser

Sourcemodule A3 : sig ... end

Sourceval ser_wit_ssrintrosarg : (A3.raw, A3.glb, A3.top) Serlib__Ser_genarg.gen_ser

Sourcemodule A4 : sig ... end

Sourceval ser_wit_ssrsufffwd : (A4.raw, A4.glb, A4.top) Serlib__Ser_genarg.gen_ser

Sourcemodule A5 : sig ... end

Sourceval ser_wit_ssrcongrarg : (A5.t, A5.t, A5.t) Serlib__Ser_genarg.gen_ser

Sourcemodule A6 : sig ... end

Sourceval ser_wit_ssrdoarg : (A6.raw, A6.glb, A6.top) Serlib__Ser_genarg.gen_ser

Sourcemodule A7 : sig ... end

Sourceval ser_wit_ssrsetfwd : (A7.t, A7.t, A7.t) Serlib__Ser_genarg.gen_ser

Sourcemodule A8 : sig ... end

Sourceval ser_wit_ssrhint : (A8.raw, A8.glb, A8.top) Serlib__Ser_genarg.gen_ser

Sourcemodule A9 : sig ... end

Sourceval ser_wit_ssrposefwd : (A9.t, A9.t, A9.t) Serlib__Ser_genarg.gen_ser

Sourcemodule A10 : sig ... end

Sourceval ser_wit_ssrunlockarg : (A10.t, A10.t, A10.t) Serlib__Ser_genarg.gen_ser

Sourcemodule A11 : sig ... end

Sourceval ser_wit_ssrwlogfwd : (A11.t, A11.t, A11.t) Serlib__Ser_genarg.gen_ser

Sourcemodule A12 : sig ... end

Sourceval ser_wit_ssrfixfwd : (A12.t, A12.t, A12.t) Serlib__Ser_genarg.gen_ser

Sourcemodule A13 : sig ... end

Sourceval ser_wit_ssrfwd : (A13.t, A13.t, A13.t) Serlib__Ser_genarg.gen_ser

Sourcemodule A14 : sig ... end

Sourceval ser_wit_ssrdgens : (A14.t, A14.t, A14.t) Serlib__Ser_genarg.gen_ser

Sourceval register : unit -> unit