()
| 967 | let n = fvars.len() as u64; |
| 968 | let result = abstract_fvars_cached(env, body, &pos, n, 0, &mut cache); |
| 969 | env.subst_scratch = cache; |
| 970 | result |
| 971 | } |
| 972 | |
| 973 | fn abstract_fvars_cached<M: KernelMode>( |
| 974 | env: &mut InternTable<M>, |
| 975 | body: &KExpr<M>, |
| 976 | pos: &FxHashMap<FVarId, u64>, |
| 977 | n: u64, |