Final actionなるものについて

[2222-42]

why

スレッドで気になる会話があったので。

Contraction に関するアルゴリズムらしい、HyperPropertiesについて調べる

ref:

• https://groups.google.com/g/tlaplus/c/o1dRrwyVlrw/m/Q-wOdLddBgAJ
• https://github.com/dgpv/SASwap_TLAplus_spec/blob/master/HyperProperties.tla
• https://github.com/dgpv/bip32_template_parse_tplaplus_spec/blob/master/HyperProperties.tla

Nightly versionでは対応しているとのこと(DieHard問題を見れば何が変わったのかわかるだろう) ref: https://github.com/tlaplus/tlaplus/commit/ced9269895aa6b760fa7d7a35fa61b43eb2a9a0a