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