Searched refs:pretty_type (Results 1 - 2 of 2) sorted by last modified time

/seL4-l4v-10.1.1/graph-refine/
H A Dsyntax.py1493 def pretty_type (typ): function
1500 return 'Ptr(%s)' % pretty_type (typ.el_typ_symb)
1515 return '((%s) (%s))' % (pretty_type (expr.typ),
H A Ddebug.py795 syntax.pretty_type (v.typ))

Completed in 44 milliseconds