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