※ 引述《dryman (dryman)》之铭言：
: 57 let rec ns c = match c with
: 58 Inter (Ass (x, e), s) -> Final (update x e s)
: 59 | Inter (Skip, s) -> Final s
: 60 | Inter (Seq (st1,st2), s) -> Final (
: 61 (fun x -> ns (Inter (st2,x)))
: 62 (ns (Inter (st1,s))))
: 61 要让rec ns可以吃config我完全想不出有什么可以实践的方法
: 因为Final != state
: ns 回传的值不能直接做rec
我也忘记 OCaml 该怎么写了，但我想是类似前面 yzugsr 的作法：
ns (Inter (st1, s)) 回传的值可以再用一个 match 来分解。
另外，ns (Inter (st2, x)) 的结果已经是一个 config 了，
外面就不用加上 Final 了。