Vocabulary
inverse

Inputs
resultan object
aan object
ban object


Outputs
booleanan object


Definition


:: undo-if* ( result a b -- boolean )
b ( -- b ) call-effect result =
[ f ] [ result a [undo] ( a -- b ) call-effect ] if ;