Module GlutenSource

Sourcemodule type RUNTIME = sig ... end
Sourcetype 't runtime = (module RUNTIME with type t = 't)
Sourcetype impl
Sourceval make : 't runtime -> 't -> impl
Sourcemodule Reqd : sig ... end
Sourcemodule Server : sig ... end
Sourcemodule Client : sig ... end
Sourcetype 'reqd reqd = private 'reqd Reqd.t = {
  1. reqd : 'reqd;
  2. upgrade : impl -> unit;
}