Ref型とそれに関係した式の処理を追加する。 この記事で（HM型推論なしで）追加したものと同じ： zehnpaard.hatenablog.com ref型を作るためのオペレータref（ここら辺OCamlだと型とオペレータの名前が被ったりしてややこしい）、ref型からデータを取り出すd…