断言是一个表达式，用来约束当前的程序变量符合一定的条件。如果断言失败，程序会抛出一个异常。断言通常用于调试和测试，可以在程序中加入一些检查点，确保程序的正确性。

我们提供了高级的断言库，可以用来检查变量的类型、值、长度等。