(univ: &Arc<Univ>)
| 443 | level: &Level, |
| 444 | univ_params: &[Name], |
| 445 | cache: &mut BlockCache, |
| 446 | ) -> Result<Arc<Univ>, CompileError> { |
| 447 | let ctx_key = univ_params_key(univ_params); |
| 448 | if let Some(cached) = cache.univ_cache.get(&(level.clone(), ctx_key.clone())) |
| 449 | { |
| 450 | return Ok(cached.clone()); |
| 451 | } |
| 452 |
no test coverage detected