let rec fprint_clock_type ff ct =
  match ct with
  | CT_var alpha -> fprint_clock_type_var ff alpha
  | CT_on (ct', p) ->
      Format.fprintf ff "%a on %a"
        fprint_clock_type ct'
        fprint_pbw p