package lsp

  1. Overview
  2. Docs
LSP protocol implementation in OCaml

Install

Dune Dependency

Authors

Maintainers

Sources

jsonrpc-1.4.0.tbz
sha256=fd138e6c4fcff32c6d15eb66cc9391b7e1183717a6d1a47c688c7f6d320a159f
sha512=567a73b3c10bb59c5a4d4e8291d1aeefdfd34438a95313fba8a485638294ca5fb8034334719631243c304d3328c27afa90dfd564fdb1e7390507a06db3a4ad03

doc/lsp.stdune/Stdune/Type_eq/index.html

Module Stdune.Type_eqSource

Equality between types. See Base.Type_equal for documentation.

Sourcetype ('a, 'b) t =
  1. | T : ('a, 'a) t
Sourceval cast : ('a, 'b) t -> 'a -> 'b
Sourcemodule Id : sig ... end

Id provides identifiers for types, and the ability to test (via Id.same) at runtime if two identifiers are equal, and if so to get a proof of equality of their types.

OCaml

Innovation. Community. Security.