TAL-0 的 OCaml 实现 | An OCaml implementation of the first level (control flow safety) of Typed Assembly Language