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.