| 68 | |
| 69 | #[derive(Clone, Debug)] |
| 70 | struct Codegen<'a> { |
| 71 | files: Arc<Files>, |
| 72 | typeenv: &'a TypeEnv, |
| 73 | termenv: &'a TermEnv, |
| 74 | terms: &'a [(TermId, RuleSet)], |
| 75 | } |
| 76 | |
| 77 | enum Nested<'a> { |
| 78 | Cases(Iter<'a, EvalStep>), |
no outgoing calls
no test coverage detected