Module Protocol.SpecSource

Sourcetype (_, _) spec =
  1. | [] : ('a, 'a) spec
  2. | :: : 'a elem * ('b, 'c) spec -> ('a -> 'b, 'c) spec
Sourceval read : 'b 'c. ('b, 'c) spec -> 'b -> Io.Input.t -> 'c
Sourceval read_bits : 'b 'c. int -> ('b, 'c) spec -> 'b -> int -> Io.Input.t -> 'c
Sourceval write : 'b. ('b, Io.Output.t) spec -> Io.Output.t -> 'b
Sourceval write_bits : 'b. int -> ('b, Io.Output.t) spec -> int -> Io.Output.t -> 'b
Sourceval to_string : 'a 'b. ('a, 'b) spec -> string