Up – Package index » coq-lsp » Library petanque_json » Petanque_json » Interp

Module `Petanque_json.Interp`Source

module A = Petanque.Agent

val do_request : 
  token:Coq.Limits.Token.t ->
  (module Protocol.Request.S) ->
  id:int ->
  params:(string * Yojson.Safe.t) list ->
  Lsp.Base.Response.t

Source

val handle_request : 
  token:Coq.Limits.Token.t ->
  id:int ->
  method_:Stdlib.String.t ->
  params:(string * Yojson.Safe.t) list ->
  Lsp.Base.Response.t

Source

val interp : 
  token:Coq.Limits.Token.t ->
  Lsp.Base.Message.t ->
  Yojson.Safe.t option