let pp_id fmt = function | Modern t -> pp fmt "Modern %a" pp_t t | Old0 i -> pp fmt "Old %d" i | Old1 (a, b) -> pp fmt "Old (%d, %d)" a b