- | NAuto (_,(l,flgs)) ->
- "nauto" ^
- (if l <> [] then (" by " ^
- (String.concat "," (List.map CicNotationPp.pp_term l))) else "") ^
+ | NSmartApply (_,t) -> "fixme"
+ | NAuto (_,(None,flgs)) ->
+ "nautobatch" ^
+ String.concat " " (List.map (fun a,b -> a ^ "=" ^ b) flgs)
+ | NAuto (_,(Some l,flgs)) ->
+ "nautobatch" ^ " by " ^
+ (String.concat "," (List.map CicNotationPp.pp_term l)) ^