Interval template type
Keywords: INTERVAL
You may refer to an interval template type, when the instance types referenced do have an order relation defined.
Definition:
interval_type := interval '<' simple_type_spec '>'
You may refer to an interval template type, when the instance types referenced do have an order relation defined.
interval_type := interval '<' simple_type_spec '>'