Searched defs:namedTelVars (Results 1 – 1 of 1) sorted by relevance
736 namedTelVars m EmptyTel = [] function737 namedTelVars m (ExtendTel !dom tel) = function