sig
val push : 'a -> 'a Cf_deque.t -> 'a Cf_deque.t
val pop : 'a Cf_deque.t -> ('a * 'a Cf_deque.t) option
val head : 'a Cf_deque.t -> 'a
val tail : 'a Cf_deque.t -> 'a Cf_deque.t
val to_seq : 'a Cf_deque.t -> 'a Cf_seq.t
val to_seq2 : 'a Cf_deque.t -> ('a * 'a Cf_deque.t) Cf_seq.t
end