断言语言

assertion language