precondition
A check that stops the program if a condition is false. Use it for mistakes that should never happen, as in `OrderLine`.
A check that stops the program if a condition is false. Use it for mistakes that should never happen, as in `OrderLine`.