Function islambda

Singular/dyn_modules/openmath/objects.py:105–107

return True, iff sym is the lambda binder

(sym)

lambdasym = OMS("lambda", cdFns1)

def islambda(sym):
    "return True, iff sym is the lambda binder"
    return lambdasym == sym

class OMBIND(object):
    """hopefully fixed possible problems: reevaluation writes new scope,