使用提供的名称和功能定义一个新的断言函数。如果已存在同名的断言，则会覆盖它。
¥Defines a new assertion function with the provided name and function. If an assertion already exists with the same name, it is overwritten.