I love using Unquote[0] in F# for similar reasons; it uses F#'s code quotations. Assuming the variables have been defined with the values you state, the asserti

I love using Unquote[0] in F# for similar reasons; it uses F#'s code quotations. Assuming the variables have been defined with the values you state, the assertion is written as: test <@ width > 0 && x + width < screenWidth @> And part of the output is: width > 0 && x + width < screenWidth 500 > 0 && x + width < screenWidth true && x + width < screenWidth true && 1500 + 500 < 1920 true && 2000 < 1920 true && false false [0]: https://github.com/SwensenSoftware/unquote https://github.com/SwensenSoftware/unquote