Module Jenga_lib.Rpc_intf

All the rpcs exposed by the jenga server.

The rpcs in here are used by the jenga client and build-manager. When called from jenga, versioning doesn't matter as the same executable is used on both sides. When called from build-manager, we expect build-manager to be ahead, and it should be rolled before jengas that introduce new versions.

module Progress_stream : sig ... end

module Error_pipe : sig ... end

module Getenv : sig ... end

module Setenv : sig ... end

module Env_info : sig ... end

module Dump_tenacious_graph : sig ... end