I have been interested in OCaml for a while, and this is a nice piece. One question, though - some of the examples start like this:
- :
Is that the prompt from the OCaml REPL (does OCaml have a REPL)?
EDIT: I think I misread things - it's the output from the examples that has the "- :" prefix, so I'm guessing it is REPL output.