Searched defs:MTL1 (Results 1 – 2 of 2) sorted by relevance
130 void MTLAppend(MixedTermList MTL1, int *MTL1Len, in MTLAppend()143 MixedTermList MTL1=MTList(TL); in TListAppendMTL() local