let rec fprint_word_expr ff w = match w with | Var c -> fprint_word_var ff c | Pbw p -> fprint_pbw ff p | On (w1, w2) -> Format.fprintf ff "%a on %a" fprint_word_expr w1 fprint_word_expr w2