def p_fun1(p): 'fun : FUN NAME DCOLON sig ARROW sig' p[0] = N.fndef(p[2], N.sig(p[4],p[6]))
def p_fun1(p): 'fun : FUN NAME DCOLON sig ARROW sig' p[0] = N.fndef(p[2], N.sig(p[4], p[6]))
def p_op1(p): 'op : OP PYOP DCOLON sig ARROW sig' p[0] = N.opdef(p[2], N.sig(p[4], p[6]))