val ctor : ('a, 'b, 'c) k -> ('a, 'b, 'c) state
val peek_bits : int -> ((Safe.ro, 'a) Safe.t -> (Safe.wo, 'b) Safe.t -> ('a, 'b, 'c) t -> ('a, 'b, 'c) res) -> (Safe.ro, 'a) Safe.t -> (Safe.wo, 'b) Safe.t -> ('a, 'b, 'c) t -> ('a, 'b, 'c) res
val put_byte : int -> ((Safe.ro, 'a) Safe.t -> (Safe.wo, 'b) Safe.t -> ('a, 'b, 'c) t -> ('a, 'b, 'c) res) -> (Safe.ro, 'a) Safe.t -> (Safe.wo, 'b) Safe.t -> ('a, 'b, 'c) t -> ('a, 'b, 'c) res
val fill_byte : int -> int -> ((Safe.ro, 'a) Safe.t -> (Safe.wo, 'b) Safe.t -> ('a, 'b, 'c) t -> ('a, 'b, 'c) res) -> (Safe.ro, 'a) Safe.t -> (Safe.wo, 'b) Safe.t -> ('a, 'b, 'c) t -> ('a, 'b, 'c) res
val get : Lookup.t -> (int -> (Safe.ro, 'a) Safe.t -> (Safe.wo, 'b) Safe.t -> ('a, 'b, 'c) t -> ('a, 'b, 'c) res) -> (Safe.ro, 'a) Safe.t -> (Safe.wo, 'b) Safe.t -> ('a, 'b, 'c) t -> ('a, 'b, 'c) res