let fprint_precedence_cstr ff (Precedence ((c_x, p_x), (c_y, p_y))) = Format.fprintf ff "@[%a on %a@] <= @[%a on %a@]" fprint_word_var c_x fprint_pbw p_x fprint_word_var c_y fprint_pbw p_y