「ツリー= |」と入力します。空| 'a * 'a tree* 'a tree* 'a tree ref;; のノード
すべてのノード ツリー ref を次のノードに順番に設定したいと考えています。
例えば
Node (1, Node(2, Empty, Empty, ref Empty), Node(3, Empty, Empty, ref Empty), ref Empty) )
The result is:
Node (1, Node(2, Empty, Empty, content = {Node (1....) }).....