-with- ( invariant begin end quot -- begin end quot' )


Vocabulary
cursors

Inputs
invariantan object
beginan object
endan object
quotan object


Outputs
beginan object
endan object
quot'an object


Definition


: -with- ( invariant begin end quot -- begin end quot' )
rotd [ [ ] curry ] dip [ [ dip ] curry ] dip compose ;
inline