Vocabulary
inverse

Inputs
resultan object
aan object
ban object


Outputs
seqan object


Definition


:: undo-if-empty ( result a b -- seq )
a ( -- b ) call-effect result =
[ { } ] [ result b [undo] ( a -- b ) call-effect ] if ;