def typecheck(expressions, signature=None):
    #typecheck and create master signature
    for expression in expressions:
        signature = expression.typecheck(signature)
    #apply master signature to all expressions
    for expression in expressions[:-1]:
        expression.typecheck(signature)
    return signature
Ensure correct typing across a collection of ``Expression`` objects.
dataset/ETHPy150Open nltk/nltk/nltk/sem/logic.py/typecheck