1. Dmitry Grebeniuk
  2. amall

Commits

Dmitry Grebeniuk  committed 15bf6a2

+ ExtQueue.take_opt

  • Participants
  • Parent commits 88339f1
  • Branches default

Comments (0)

Files changed (1)

File extQueue.ml

View file
  • Ignore whitespace
         )
     ;
 
+    value take_opt q = try Some (take q) with [ Empty -> None ]
+    ;
+
   end
 ;