7506983ce274 ^
d3534ee051ab ^
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