| CicAst.Appl terms ->
sprintf "(%s)" (String.concat " " (List.map pp_term terms))
| CicAst.Binder (`Forall, (Cic.Anonymous, typ), body)
| CicAst.Appl terms ->
sprintf "(%s)" (String.concat " " (List.map pp_term terms))
| CicAst.Binder (`Forall, (Cic.Anonymous, typ), body)