ツリーのデータ型は次のとおりです。
datatype mobile = Object of int | Wire of mobile * mobile
バランスが取れているかどうかを確認するには、最初に重み関数を作成して各ノードの値の重みを計算し、次に左のサブツリーと右のツリーを比較する必要があることがわかりました。ただし、これをml言語に入れるのに問題があります。
これまでのコード:
fun balanced Object = true
if(weight(Wire(x,t1)) - weight(Wire(y,t1))) = 0)
then true
else false