unsafe-amb ( seq -- quot )

Vocabulary

backtrack.private

Inputs

seq

an object

Outputs

quot

an object

Definition

USING: backtrack kernel quotations sequences ;

IN: backtrack.private

MACRO: unsafe-amb ( seq -- quot )
    dup length 1 =
    [ first 1quotation ]
    [ unclip swap '[ _ [ drop _ unsafe-amb ] checkpoint ] ] if ;