nltk.ApplicationExpression.typecheck¶

ApplicationExpression.typecheck(signature=None)¶

Infer and check types. Raise exceptions if necessary.

Parameters:	signature – dict that maps variable names to types (or string representations of types)
Returns:	the signature, plus any additional type mappings