let rec aux = function
| Ast.Appl terms -> Ast.Appl (List.map k terms)
| Ast.Binder (kind, var, body) ->
Ast.Binder (kind, aux_capture_variable var, k body)
| Ast.Case (term, indtype, typ, patterns) ->
let rec aux = function
| Ast.Appl terms -> Ast.Appl (List.map k terms)
| Ast.Binder (kind, var, body) ->
Ast.Binder (kind, aux_capture_variable var, k body)
| Ast.Case (term, indtype, typ, patterns) ->