or-step ( set1 set2 -- set1' set2' )


Vocabulary
interval-sets.private

Inputs
set1an object
set2an object


Outputs
set1'an object
set2'an object


Definition


:: or-step ( set1 set2 -- set1' set2' )
set1 first , set1 second set2 first <=
[ set1 0 ] [ set2 2 ] if
[ second , ] [ set2 swap tail-slice ] bi* set1 2 tail-slice
;