OCaml
quantifier