型シグネチャを持つ関数があります(x, y : SomeType) -> (cond x y) = True -> SomeType。if-then-else/case/with ステートメントで条件を確認するとき、対応するブランチの関数にその条件が true であるという事実を渡すにはどうすればよいですか?
1088 次
型シグネチャを持つ関数があります(x, y : SomeType) -> (cond x y) = True -> SomeType。if-then-else/case/with ステートメントで条件を確認するとき、対応するブランチの関数にその条件が true であるという事実を渡すにはどうすればよいですか?