let fprint_adaptability_cstrs ff cstrs =
  Format.fprintf ff "{@[<hov 1> %a@] }"
    (fprint_list ";@\n" fprint_adaptability_cstr) cstrs