附录 A. 断言

本附录列举可用的各种断言方法。