From f254a0f6e423345f3b468b65f31b4cbe0671eb43 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 18 Sep 2017 10:38:54 +0200 Subject: [PATCH] small doc --- src/data/CCFQueue.mli | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/data/CCFQueue.mli b/src/data/CCFQueue.mli index 6bb56af5..fddb78ac 100644 --- a/src/data/CCFQueue.mli +++ b/src/data/CCFQueue.mli @@ -47,6 +47,8 @@ val take_back : 'a t -> ('a t * 'a) option (** Take last element *) val take_back_exn : 'a t -> ('a t * 'a) +(** Same as {!take_back}, but fails on empty queues. + @raise Empty if the queue is empty *) val take_back_l : int -> 'a t -> 'a t * 'a list (** [take_back_l n q] removes and returns the last [n] elements of [q]. The