3

標準ライブラリのセットの定義のように、多くの Coq コードで、この種の表記を見てきました。

 red in |- *.

|-*(バー-ハイフン-スター) とはどういう意味ですか?

検索しても出てこなかったのですが、句読点の検索が難しいので、重複していたらすみません！

4

1 に答える 1