typedef my_enum = [i : int | value_a <= i; i <= value_c] int i