In part one, we discussed how OCaml’slocality mode enables safe stack allocation. In this post, we willexplore additional modes for representing ownership.