package coq-lsp

  1. Overview
  2. Docs
package coq-lsp
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Serlib_ssrmatching.Ser_ssrmatchingSource

module Genintern = Serlib.Ser_genintern
module Geninterp = Serlib.Ser_geninterp
Sourcetype ssrtermkind = Ssrmatching_plugin.Ssrmatching.ssrtermkind =
  1. | InParens
  2. | WithAt
  3. | NoFlag
  4. | Cpattern
Sourceval ssrtermkind_of_sexp : Sexplib0.Sexp.t -> ssrtermkind
Sourceval sexp_of_ssrtermkind : ssrtermkind -> Sexplib0.Sexp.t
Sourceval ssrtermkind_to_yojson : ssrtermkind -> Yojson.Safe.t
Sourceval ssrtermkind_of_yojson : Yojson.Safe.t -> ssrtermkind Ppx_deriving_yojson_runtime.error_or
Sourceval hash_fold_ssrtermkind : Ppx_hash_lib.Std.Hash.state -> ssrtermkind -> Ppx_hash_lib.Std.Hash.state
Sourceval hash_ssrtermkind : ssrtermkind -> Ppx_hash_lib.Std.Hash.hash_value
Sourceval compare_ssrtermkind : ssrtermkind -> ssrtermkind -> int
Sourcetype cpattern = Ssrmatching_plugin.Ssrmatching.cpattern = {
  1. kind : ssrtermkind;
  2. pattern : Genintern.glob_constr_and_expr;
  3. interpretation : Geninterp.interp_sign option;
}
Sourceval cpattern_of_sexp : Sexplib0.Sexp.t -> cpattern
Sourceval sexp_of_cpattern : cpattern -> Sexplib0.Sexp.t
Sourceval cpattern_to_yojson : cpattern -> Yojson.Safe.t
Sourceval cpattern_of_yojson : Yojson.Safe.t -> cpattern Ppx_deriving_yojson_runtime.error_or
Sourceval hash_fold_cpattern : Ppx_hash_lib.Std.Hash.state -> cpattern -> Ppx_hash_lib.Std.Hash.state
Sourceval hash_cpattern : cpattern -> Ppx_hash_lib.Std.Hash.hash_value
Sourceval compare_cpattern : cpattern -> cpattern -> int
Sourcetype ('a, 'b) ssrpattern = ('a, 'b) Ssrmatching_plugin.Ssrmatching.ssrpattern =
  1. | T of 'b
  2. | In_T of 'b
  3. | X_In_T of 'a * 'b
  4. | In_X_In_T of 'a * 'b
  5. | E_In_X_In_T of 'b * 'a * 'b
  6. | E_As_X_In_T of 'b * 'a * 'b
Sourceval ssrpattern_of_sexp : 'a 'b. (Sexplib0.Sexp.t -> 'a) -> (Sexplib0.Sexp.t -> 'b) -> Sexplib0.Sexp.t -> ('a, 'b) ssrpattern
Sourceval sexp_of_ssrpattern : 'a 'b. ('a -> Sexplib0.Sexp.t) -> ('b -> Sexplib0.Sexp.t) -> ('a, 'b) ssrpattern -> Sexplib0.Sexp.t
Sourceval ssrpattern_to_yojson : 'a 'b. ('a -> Yojson.Safe.t) -> ('b -> Yojson.Safe.t) -> ('a, 'b) ssrpattern -> Yojson.Safe.t
Sourceval ssrpattern_of_yojson : 'a 'b. (Yojson.Safe.t -> 'a Ppx_deriving_yojson_runtime.error_or) -> (Yojson.Safe.t -> 'b Ppx_deriving_yojson_runtime.error_or) -> Yojson.Safe.t -> ('a, 'b) ssrpattern Ppx_deriving_yojson_runtime.error_or
Sourceval hash_fold_ssrpattern : 'a 'b. (Ppx_hash_lib.Std.Hash.state -> 'a -> Ppx_hash_lib.Std.Hash.state) -> (Ppx_hash_lib.Std.Hash.state -> 'b -> Ppx_hash_lib.Std.Hash.state) -> Ppx_hash_lib.Std.Hash.state -> ('a, 'b) ssrpattern -> Ppx_hash_lib.Std.Hash.state
Sourceval compare_ssrpattern : 'a 'b. ('a -> 'a -> int) -> ('b -> 'b -> int) -> ('a, 'b) ssrpattern -> ('a, 'b) ssrpattern -> int
Sourcemodule PierceRPattern : sig ... end
module B_ : sig ... end
Sourcetype rpattern = B_.t
Sourceval rpattern_of_sexp : Sexplib0.Sexp.t -> rpattern
Sourceval sexp_of_rpattern : rpattern -> Sexplib0.Sexp.t
Sourceval rpattern_to_yojson : rpattern -> Yojson.Safe.t
Sourceval rpattern_of_yojson : Yojson.Safe.t -> rpattern Ppx_deriving_yojson_runtime.error_or
Sourceval _ : Yojson.Safe.t -> rpattern Ppx_deriving_yojson_runtime.error_or
Sourceval hash_fold_rpattern : Ppx_hash_lib.Std.Hash.state -> rpattern -> Ppx_hash_lib.Std.Hash.state
Sourceval hash_rpattern : rpattern -> Ppx_hash_lib.Std.Hash.hash_value
Sourceval compare_rpattern : rpattern -> rpattern -> int
Sourcetype ssrdir = Ssrmatching_plugin.Ssrmatching.ssrdir =
  1. | L2R
  2. | R2L
Sourceval ssrdir_of_sexp : Sexplib0.Sexp.t -> ssrdir
Sourceval sexp_of_ssrdir : ssrdir -> Sexplib0.Sexp.t
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct