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