| LApply (_, term_opt, term, ident) ->
sprintf "lapply %s%s%s" (pp_term_ast term)
(match term_opt with None -> "" | Some t -> " to " ^ pp_term_ast t)
- (match ident with None -> "" | Some id -> " " ^ id)
+ (match ident with None -> "" | Some id -> " using " ^ id)
let pp_flavour = function
| `Definition -> "Definition"