…or synthetic record types When we delete all elements of a type, we need to modify the check so that it will remove all synthetic recorsd that reference the deleted base elements. This means ...
- RFC PR: [dafny-lang/rfcs#0008](https://github.com/dafny-lang/rfcs/pull/0008) - Dafny Issue: [dafny-lang/dafny#1680](https://github.com/dafny-lang/dafny/issues/1680 ...
一部の結果でアクセス不可の可能性があるため、非表示になっています。
アクセス不可の結果を表示する