let fprint_clock_type_var ff (Alpha n) =
  Format.fprintf ff "'a_%d" n