Understanding OCaml Locals as a Mode (with Sub-Moding) | OCaml Unboxed
Jane Street · 15:17
Local and global in OxCaml are modes that attach to every expression and variable, similar to types, with a one-way submoding rule: a global value can always be treated as local, but a local cannot become global becau...