Module RFC1951.KDynamicHeader

val ctor : ('a'b) k -> ('a'b) state
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_trans : int array -> 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_symbols : int array -> int array -> int array -> ('x'x) k -> ('x'x) k