読者です 読者をやめる 読者になる 読者になる

SML

signature S = sig
  type t
  ...
end

とかあったとして、

structure A : S = ...

とかしてモジュールを定義すると、A.tがabstractにならないことを初めて知った。

structure A :> S = ...

が正解。