type t val create : unit -> t val write_bit : t -> int -> unit val write_bits : t -> int -> int -> unit val flush : t -> unit val to_bytes : t -> bytes val write_literal : t -> int -> unit val write_match : t -> int -> int -> unit