def p_expr_expr_implies_expr(p):
    p[0] = da.App(da.Implies(),p[1],p[3])
Test whether a numpy.ndarray contains any `np.inf` values.
dataset/ETHPy150Open Microsoft/ivy/src/ivy/ivy_dafny_grammar.py/p_expr_expr_implies_expr--crossover with--dataset/ETHPy150Open rizar/attention-lvcsr/libs/Theano/theano/compile/nanguardmode.py/contains_inf