':=' を使わなくなったようだ。structure/where 、マクロかも知れない。 structure WordCount where wordCount : Nat lineCount : Nat charCount : Nat inWord : Bool宣言文の並びなので、構造体もコンテキストの一種、特に指標の一種と考える。インスタンス…

variable b:Bool はダメで、variable (b:Bool) 。そもそも「変数」は通常の意味の変数ではない。共通に予約された暗黙束縛変数のこと。