package coq-lsp

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type 'a r = ('a, int * string) Result.t
module Action : sig ... end
type 'a handle = token:Coq.Limits.Token.t -> Action.t -> 'a
val handle_request : do_handle:'a handle -> unhandled:(token:Coq.Limits.Token.t -> method_:string -> 'a) -> token:Coq.Limits.Token.t -> method_:string -> params:(string * Yojson.Safe.t) list -> 'a
val of_pet_err : ('a, Petanque.Agent.Error.t) Stdlib.result -> ('a, int * string) Result.t
val do_request : (module Protocol.Request.S) -> params:(string * Yojson.Safe.t) list -> Action.t
OCaml

Innovation. Community. Security.