次のようなプロパティを書きたいです。
(prop/for-all [x (gen/nat)
y (gen/nat)]
(= (g x y) (f x y)))
ただし、プロパティは の場合にのみ保持されx > yます。このプロパティの前提条件を表現する正しい方法は何ですか? (さらに良いことに、このプロパティをy未満の自然数として生成されるように記述するにはどうすればよいxでしょうか?)
質問する
343 次