petanque_shell
Client.S
Astdump_plugin
Example_plugin
Explain_errors
Goaldumpl_plugin
Savevo_plugin
Unidiff_plugin
coq-lsp.coq
coq-lsp.fleche
coq-lsp.lang
coq-lsp.lsp
coq-lsp.petanque
coq-lsp.plugin
coq-lsp.serlib
fleche_waterproof
petanque_json
serlib_btauto
serlib_cc
serlib_extraction
serlib_firstorder
serlib_funind
serlib_ltac
serlib_ltac2
serlib_micromega
serlib_number_string_notation_plugin
serlib_ring
serlib_ssr
serlib_ssrmatching
serlib_tauto
serlib_zify
module C : Chans
val set_workspace : Protocol_shell.SetWorkspace.Params.t -> (Protocol_shell.SetWorkspace.Response.t, string) Stdlib.result
val toc : Protocol_shell.TableOfContents.Params.t -> (Protocol_shell.TableOfContents.Response.t, string) Stdlib.result
val start : Petanque_json.Protocol.Start.Params.t -> (Petanque_json.Protocol.Start.Response.t, string) Stdlib.result
val run : Petanque_json.Protocol.RunTac.Params.t -> (Petanque_json.Protocol.RunTac.Response.t, string) Stdlib.result
val goals : Petanque_json.Protocol.Goals.Params.t -> (Petanque_json.Protocol.Goals.Response.t, string) Stdlib.result
val premises : Petanque_json.Protocol.Premises.Params.t -> (Petanque_json.Protocol.Premises.Response.t, string) Stdlib.result
val state_equal : Petanque_json.Protocol.StateEqual.Params.t -> (Petanque_json.Protocol.StateEqual.Response.t, string) Stdlib.result
val state_hash : Petanque_json.Protocol.StateHash.Params.t -> (Petanque_json.Protocol.StateHash.Response.t, string) Stdlib.result
val state_proof_equal : Petanque_json.Protocol.StateProofEqual.Params.t -> (Petanque_json.Protocol.StateProofEqual.Response.t, string) Stdlib.result
val state_proof_hash : Petanque_json.Protocol.StateProofHash.Params.t -> (Petanque_json.Protocol.StateProofHash.Response.t, string) Stdlib.result