On 31/07/2018 7:17 PM, Shachar Shemesh wrote:
I'm trying to figure out what's the signature of the built-in assert. It does not seem that I can define a similar function myself.
That is because it isn't a function. It's a language feature that is backed by functions.