(diff-variable) ( diff variable vars -- diff' )


Vocabulary
stack-checker.row-polymorphism

Inputs
diffan object
variablean object
varsan object


Outputs
diff'an object


Definition