OCaml
nand