Index - W
| Weak | |
| 1 (Data Constructor) | TPDB.Data.Rule, TPDB.Data, TPDB.XTC |
| 2 (Data Constructor) | TPDB.CPF.Proof.Type |
| weak | TPDB.Data.Rule, TPDB.Data, TPDB.XTC |
| weak_rules | TPDB.Data, TPDB.XTC |
| with_rules | TPDB.Data, TPDB.XTC |
| writeFile | TPDB.XTC.Write, TPDB.XTC |