dereference ( term env -- term' env' )


Vocabulary
logic.private

Inputs
terman object
envan object


Outputs
term'an object
env'an object


Definition
USING: kernel sequences ;

IN: logic.private

: dereference ( term env -- term' env' )
[ 2dup env-get [ 2nip first2 t ] [ f ] if* ] loop ; inline