def type_assignment(ast, M): typeinference.infer(ast, context=M.type_context, input_types=M.input_types) return ast
def type_assignment(ast, M): typeinference.infer(ast, context=M.type_context) collect_local_typings(ast, M) return ast