ensure-disjoint ( intervals -- intervals )

Vocabulary

interval-maps.private

Inputs

intervals

an object

Outputs

intervals

an object

Definition

USING: grouping kernel ;

IN: interval-maps.private

: ensure-disjoint ( intervals -- intervals )
    dup [ disjoint? ] monotonic?
    [ "Intervals are not disjoint" throw ] unless ;