sml - sml の相互依存構造

Question

キーワードsmlを使用して、相互に依存するデータ型を定義することができます。and現在、相互に参照する 2 つの構造があり、表示されるエラーは相互に再帰的であるためのようですが、これが機能するような方法で追加する方法がわかりませんand。

例：

structure Machine = struct 
  structure F = Frame
  ...
end

structure Frame = struct
  ...
  reference to Machine.wordsize
end

これを機能させることはできますか、それとも設計が と互換性がありませsmlんか? 私はコードを移植していますがOcaml、明らかにこれはそこで動作します。