let
adaptability_cstrs_of_subtyping_cstrs cstrs =
List
.map adaptability_cstr_of_subtyping_cstr cstrs