Index - M
| make_srs | TPDB.Plain.Read |
| make_trs | TPDB.Plain.Read |
| many | TPDB.Xml |
| Marked | |
| 1 (Type/Class) | TPDB.DP.Transform, TPDB.DP |
| 2 (Data Constructor) | TPDB.DP.Transform, TPDB.DP |
| markedSymbols | TPDB.CPF.Proof.Type |
| mark_top | TPDB.DP.Transform, TPDB.DP |
| match | TPDB.DP.Unify |
| Matrix | TPDB.CPF.Proof.Type |
| Matrix_Interpretation | TPDB.CPF.Proof.Type |
| mgu | TPDB.DP.Unify |
| Minus_Infinite | TPDB.CPF.Proof.Type |
| mirror | TPDB.Mirror |
| mk | TPDB.Data, TPDB.XTC |
| mkel | TPDB.Xml |
| mknullary | TPDB.Data, TPDB.XTC |
| mkunary | TPDB.Data, TPDB.XTC |
| Model | TPDB.CPF.Proof.Type |
| model | TPDB.CPF.Proof.Type |
| must_succeed | TPDB.Xml |