Searched defs:fresh_name (Results 1 - 4 of 4) sorted by relevance
/seL4-l4v-10.1.1/graph-refine/ |
H A D | objdump.py | 49 from syntax import structs, fresh_name, Struct, mk_word32 namespace
|
H A D | pseudo_compile.py | 23 from syntax import fresh_name, foldr1 namespace
|
H A D | syntax.py | 1541 def fresh_name (n, D, v=True): function
|
H A D | solver.py | 177 from syntax import (Expr, fresh_name, builtinTs, true_term, false_term, namespace
|
Completed in 53 milliseconds