| Ast.Case (term, indtype, typ, patterns) ->
Ast.Case (k term, indtype, aux_opt typ, aux_patterns patterns)
| Ast.Cast (t1, t2) -> Ast.Cast (k t1, k t2)
- | Ast.LetIn (var, t1, t2) ->
- Ast.LetIn (aux_capture_variable var, k t1, k t2)
+ | Ast.LetIn (var, t1, t3) ->
+ Ast.LetIn (aux_capture_variable var, k t1, k t3)
| Ast.LetRec (kind, definitions, term) ->
let definitions =
List.map
aux term ;
aux_opt outty_opt ;
List.iter aux_branch patterns
- | Ast.LetIn (_, t1, t2) ->
+ | Ast.LetIn (_, t1, t3) ->
aux t1 ;
- aux t2
+ aux t3
| Ast.LetRec (_, definitions, body) ->
List.iter aux_definition definitions ;
aux body