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