simon/ocaml-containers
1
0
Fork 0
mirror of https://github.com/c-cube/ocaml-containers.git synced 2025-12-06 03:05:28 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

add invariant in CCDeque.ml

Browse source
This commit is contained in:
Fardale 2019-10-23 13:28:40 +02:00 • committed by Simon Cruanes
parent 1b8d9ca9a6
commit 035aac9a72
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/data/CCDeque.ml
View file

@ -17,7 +17,9 @@ type 'a node = {
(** Linked list of cells.
invariant: only the first and last cells are allowed to
be anything but [Three] (all the intermediate ones are [Three]) *)
be anything but [Three] (all the intermediate ones are [Three])
The first and last cell are [Zero] if and only if the
deque is empty *)
type 'a t = {
mutable cur : 'a node;