Module Impl.Decompress_q

type 'a digit =
| Zero
| One of 'a
| Two of 'a * 'a
| Three of 'a * 'a * 'a
type 'a t =
| Shallow of 'a digit
| Deep of int * 'a digit * ('a * 'a) t Stdlib.Lazy.t * 'a digit
val empty : 'a t
val is_empty : 'a t -> bool
val _single : 'a -> 'a t
val _double : 'a -> 'a -> 'a t
val _three : 'a -> 'a -> 'a -> 'a t
val _deep : int -> 'a digit -> ('a * 'a) t Stdlib.Lazy.t -> 'a digit -> 'a t
val _empty : 'a t Stdlib.Lazy.t
val cons : a. 'a -> 'a t -> 'a t
exception Empty
val take_front_exn : a. 'a t -> 'a * 'a t
val take_front : 'a t -> ('a * 'a t) option
val add_seq_front : (('a -> unit) -> 'b) -> 'a t -> 'a t
val of_seq : (('a -> unit) -> 'b) -> 'a t