package coq-lsp

You can search for identifiers within the package.

in-package search v0.2.0

Source file `jStdlib.ml`

1
2
3
4
5
module Result = struct
  include Stdlib.Result

  type ('a, 'e) t = [%import: ('a, 'e) Stdlib.Result.t] [@@deriving yojson]
end