blob: 8934b3d8cf0276a76cf2fbddc30d8bb0cc772e1d (
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
|