This is the third installment in the video series explaining OCaml's locals.
In this video, I explain how locality is a mode and how sub-moding works. (It's kinda like sub-typing.)

To get the compiler I'm using here, see the instructions at https://github.com/janestreet/opam-re...