1

%hide を使用して、インポートされたライブラリから関数を非表示にする方法があることを知っています。しかし、Nat や Vect などのデータ型名では機能しないようです。データ型名を非表示にする方法、または標準ライブラリをインポートしない方法はありますか?

4

1 に答える 1