bool
1
Doc
`ASSERT'-RELATED THEOREMS