package coq-lsp

  1. Overview
  2. Docs
package coq-lsp
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Ssrmatching_plugin : sig ... end
module Ssreflect_plugin : sig ... end
type ssrwkind = Ssreflect_plugin.Ssrequality.ssrwkind =
  1. | RWred of Ssreflect_plugin.Ssrast.ssrsimpl
  2. | RWdef
  3. | RWeq
val ssrwkind_of_sexp : Sexplib0.Sexp.t -> ssrwkind
val sexp_of_ssrwkind : ssrwkind -> Sexplib0.Sexp.t
val hash_fold_ssrwkind : Ppx_hash_lib.Std.Hash.state -> ssrwkind -> Ppx_hash_lib.Std.Hash.state
val hash_ssrwkind : ssrwkind -> Ppx_hash_lib.Std.Hash.hash_value
val compare_ssrwkind : ssrwkind -> ssrwkind -> int
val ssrrule_of_sexp : Sexplib0.Sexp.t -> ssrrule
val sexp_of_ssrrule : ssrrule -> Sexplib0.Sexp.t
val hash_fold_ssrrule : Ppx_hash_lib.Std.Hash.state -> ssrrule -> Ppx_hash_lib.Std.Hash.state
val hash_ssrrule : ssrrule -> Ppx_hash_lib.Std.Hash.hash_value
val compare_ssrrule : ssrrule -> ssrrule -> int
val ssrrwarg_of_sexp : Sexplib0.Sexp.t -> ssrrwarg
val sexp_of_ssrrwarg : ssrrwarg -> Sexplib0.Sexp.t
val hash_fold_ssrrwarg : Ppx_hash_lib.Std.Hash.state -> ssrrwarg -> Ppx_hash_lib.Std.Hash.state
val hash_ssrrwarg : ssrrwarg -> Ppx_hash_lib.Std.Hash.hash_value
val compare_ssrrwarg : ssrrwarg -> ssrrwarg -> int
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