Searched refs:lv_expr (Results 1 - 1 of 1) sorted by path
| /seL4-l4v-master/graph-refine/ |
| H A D | logic.py | 1092 def lv_expr (expr, env): function
1102 lvs = [lv_expr (v, env) for v in expr.vals]
1167 env[mk_var (v, typ)] = lv_expr (rexpr, pre_env)
1198 rv = lv_expr (expr, env)
1206 assert not 'lv_expr kind understood', rv
1250 vs = [(kind, v, lv_expr (v, env)) for (kind, v) in vs]
|
Completed in 44 milliseconds