def p_type_symbol(p):
    p[0] = da.Type(p[1])
>>> l = Logger()
dataset/ETHPy150Open Microsoft/ivy/src/ivy/ivy_dafny_grammar.py/p_type_symbol--crossover with--dataset/ETHPy150Open ralfonso/theory/go-pylons.py/Logger.level_matches