| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | 20-Jan-2022 | - | ||||
| meta.const.eval/ | H | 20-Jan-2022 | - | 95 | 51 | |
| meta.help/ | H | 20-Jan-2022 | - | 89 | 50 | |
| meta.logical/ | H | 20-Jan-2022 | - | 183 | 105 | |
| meta.rel/ | H | 20-Jan-2022 | - | 1,070 | 758 | |
| meta.rqmts/ | H | 20-Jan-2022 | - | 14 | 4 | |
| meta.trans/ | H | 20-Jan-2022 | - | 2,831 | 1,980 | |
| meta.type.synop/ | H | 20-Jan-2022 | - | 14 | 4 | |
| meta.unary/ | H | 20-Jan-2022 | - | 8,273 | 5,782 | |
| meta.unary.prop.query/ | H | 20-Jan-2022 | - | 272 | 183 |