Searched defs:atomname (Results 1 – 3 of 3) sorted by relevance
210 def do_expratom(atomname, lambdaEnv= {}): argument219 def get_ptrlevels(atomname, lambdaEnv= {}): argument
282 def do_expratom(atomname, lambdaEnv= {}): argument291 def get_ptrlevels(atomname, lambdaEnv= {}): argument
367 def do_expratom(atomname, lambdaEnv= {}): argument376 def get_ptrlevels(atomname, lambdaEnv= {}): argument