blob: ac65f5814dd03c1cb9699fe0957ae0df4a736b02 (
plain) (
blame)
1
2
3
4
5
6
7
|
let
condition = x: y: x < y;
in
# The function application here will become a thunk which verifies that
# assert forces the condition expression correctly.
assert condition 21 42; 21
|