let fprint_adaptability_cstr ff (Adaptability (w1, w2)) = Format.fprintf ff "@[%a@] <: @[%a@]" fprint_word_expr w1 fprint_word_expr w2