S (p.coq-lsp.0.1.9+8.19.doc.petanque_json.Petanque

module C : Chans

val init : 
  Protocol.Init.Params.t ->
  (Protocol.Init.Response.t, string) Stdlib.result

val start : 
  Protocol.Start.Params.t ->
  (Protocol.Start.Response.t, string) Stdlib.result

val run_tac : 
  Protocol.RunTac.Params.t ->
  (Protocol.RunTac.Response.t, string) Stdlib.result

val goals : 
  Protocol.Goals.Params.t ->
  (Protocol.Goals.Response.t, string) Stdlib.result

val premises : 
  Protocol.Premises.Params.t ->
  (Protocol.Premises.Response.t, string) Stdlib.result

Module `Client.S`Source