~args:[ cic_type; Cic.Lambda (var, cic_type, cic_body) ] ())
| CicAst.Case (term, indty_ident, outtype, branches) ->
let cic_term = aux loc context term in
~args:[ cic_type; Cic.Lambda (var, cic_type, cic_body) ] ())
| CicAst.Case (term, indty_ident, outtype, branches) ->
let cic_term = aux loc context term in