let fprint_subtyping_cstr ff (Subtype (ct_x, ct_y)) = Format.fprintf ff "@[%a@] <: @[%a@]" fprint_clock_type ct_x fprint_clock_type ct_y