Mode | Name | Size | |
---|---|---|---|
d--------- | Arith | 666 | logplain |
d--------- | Bool | 252 | logplain |
d--------- | Init | 428 | logplain |
d--------- | IntMap | 651 | logplain |
d--------- | Lists | 267 | logplain |
d--------- | Logic | 408 | logplain |
d--------- | Num | 889 | logplain |
d--------- | Reals | 644 | logplain |
d--------- | Relations | 295 | logplain |
d--------- | Sets | 957 | logplain |
d--------- | Wellfounded | 439 | logplain |
d--------- | ZArith | 340 | logplain |