public static void Rule(BinaryOp700 lhs, OpCannotUnify op) { lhs.CodeFunctor = new CodeFunctor(op.Text, 2, true); }