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