Module Colombe.StateSource

Sourcetype ('s, 'error) process =
  1. | Read of {
    1. buffer : bytes;
    2. off : int;
    3. len : int;
    4. k : int -> ('s, 'error) process;
    }
  2. | Write of {
    1. buffer : string;
    2. off : int;
    3. len : int;
    4. k : int -> ('s, 'error) process;
    }
  3. | Return of 's
  4. | Error of 'error
Sourcetype ctx = {
  1. encoder : Encoder.encoder;
  2. decoder : Decoder.decoder;
}
Sourceval make_ctx : unit -> ctx
Sourcemodule type PROTOCOL = sig ... end
Sourcemodule Make (State : Sigs.FUNCTOR) (Protocol : PROTOCOL) : sig ... end