def p_expr_symbol(p):
    p[0] = da.App(p[1])
Verifies a certificate request using the supplied public key
dataset/ETHPy150Open Microsoft/ivy/src/ivy/ivy_dafny_grammar.py/p_expr_symbol--crossover with--dataset/ETHPy150Open cloudera/hue/desktop/core/ext-py/pyopenssl/OpenSSL/crypto.py/NetscapeSPKI.verify