Module RFC1951.KWriteBlock

val ctor : ('a'b) k -> ('a'b) state
val put_short_lsb : int -> ((Safe.ro'a) Safe.t -> (Safe.wo'b) Safe.t -> ('a'b) t -> ('a'b) res) -> (Safe.ro'a) Safe.t -> (Safe.wo'b) Safe.t -> ('a'b) t -> ('a'b) res
val put_bits : (int * int) -> ((Safe.ro'a) Safe.t -> (Safe.wo'b) Safe.t -> ('a'b) t -> ('a'b) res) -> (Safe.ro'a) Safe.t -> (Safe.wo'b) Safe.t -> ('a'b) t -> ('a'b) res
val put_bit : bool -> ((Safe.ro'a) Safe.t -> (Safe.wo'b) Safe.t -> ('a'b) t -> ('a'b) res) -> (Safe.ro'a) Safe.t -> (Safe.wo'b) Safe.t -> ('a'b) t -> ('a'b) res
val align : ((Safe.ro'a) Safe.t -> (Safe.wo'b) Safe.t -> ('a'b) t -> ('a'b) res) -> (Safe.ro'a) Safe.t -> (Safe.wo'b) Safe.t -> ('a'b) t -> ('a'b) res