sig   type 'a t = 'a list Pervasives.ref   val push : 'a CCList.Ref.t -> 'a -> unit   val pop : 'a CCList.Ref.t -> 'a option   val pop_exn : 'a CCList.Ref.t -> 'a   val create : unit -> 'a CCList.Ref.t   val clear : 'a CCList.Ref.t -> unit   val lift : ('a list -> 'b) -> 'a CCList.Ref.t -> 'b   val push_list : 'a CCList.Ref.t -> 'a list -> unit end