def p_field_method_symbol_args_returns_requires_modifies_ensures_decreases_lcb_stmts_rcb(p):
    p[0] = da.MethodDecl(*(p[2:9]+[p[10]]))
    p[0].lineno = p.lineno(1)
Init method.
dataset/ETHPy150Open Microsoft/ivy/src/ivy/ivy_dafny_grammar.py/p_field_method_symbol_args_returns_requires_modifies_ensures_decreases_lcb_stmts_rcb--crossover with--dataset/ETHPy150Open los-cocos/cocos/cocos/actions/interval_actions.py/Lerp.init