| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | - | - | ||||
| meta.help/ | H | - | - | 87 | 48 | |
| meta.logical/ | H | - | - | 174 | 99 | |
| meta.rel/ | H | - | - | 712 | 500 | |
| meta.rqmts/ | H | - | - | 13 | 3 | |
| meta.trans/ | H | - | - | 2,431 | 1,744 | |
| meta.type.synop/ | H | - | - | 61 | 26 | |
| meta.unary/ | H | - | - | 7,899 | 5,505 | |
| meta.unary.prop.query/ | H | - | - | 292 | 191 |