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