Comment by gethly

ocaml looks more like a spec than actual code.