Function is_cons_opr_eq_sym

  • Parameters

    • expr: Cons
    • name: Sym

    Returns expr is Cons0<Sym>