Assertion function

A function whose asserts return annotation narrows values after the function returns normally.

Also known as assertion signature