blob: 3cf59396543f239712124ffb81408c30f84bc8b7 (
plain)
1
2
3
4
5
6
7
8
9
10
|
type t = A of t | B ;;
let f = function A A B -> B | B | A B | A (A _) -> B ;;
exception True
let qexists f q =
try
Queue.iter (fun v -> if f v then raise True) q;
false
with True -> true
|