"ocaml" - key terms from Wikipedia