Interval¶ Represents a closed real interval with auto-merged sub-intervals. $ wo 'Interval[]' Interval[]