A query language in pure ocaml