Using, Understanding, and Unraveling The OCaml Language