/* * STRUCT: SE_Integer_Interval_Value * * a tagged union struct to store * interval types for <Interval Axis>. */