lift ( quot M-x -- M-y )


Vocabulary
monadics

Inputs
quotan object
M-xan object


Outputs
M-yan object


Definition