bool
1
Doc
Def
== {i:
| 0
i}
Thm*
ite_rw_test
In prior sections:
int
1