Module Petanque_json.InterpSource

Sourcetype json_rpc_result = (Yojson.Safe.t, string) Request.R.t
Sourcemodule Action : sig ... end
Sourcetype 'a handle = token:Coq.Limits.Token.t -> Action.t -> 'a
Sourceval 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
Sourceval of_pet_err : ('a, Petanque.Agent.Error.t) Request.R.t -> ('a, string) Request.R.t
Sourceval do_request : (module Protocol.Request.S) -> params:(string * Yojson.Safe.t) list -> Action.t