- child_pos = `Left))
- then (* parens should be added *)
-(* (prerr_endline "adding parens";
- prerr_endline (Printf.sprintf "child_prec = %d\nchild_assoc = %s\nchild_pos = %s\ncurr_prec= %d"
- child_prec (pp_assoc child_assoc) (CicNotationPp.pp_pos
- child_pos) curr_prec); *)