dereference ( term env -- term' env' )


Vocabulary
logic.private

Inputs
terman object
envan object


Outputs
term'an object
env'an object


Definition