... (base-env base-types)) (rename-in (base-env base-types-extra) [Un t:Un] ... 此外,latent propositions常用的縮寫有 -true-propset 和 ...
確定! 回上一頁