Handbook
Glossary
-with- ( invariant begin end quot -- begin end quot' )
Vocabulary
cursors
Inputs
invariant
an
object
begin
an
object
end
an
object
quot
an
object
Outputs
begin
an
object
end
an
object
quot'
an
object
Definition
USING:
kernel
;
IN:
cursors
:
-with-
( invariant begin end quot -- begin end quot' )
rotd
[
[
]
curry
]
dip
[
[
dip
]
curry
]
dip
compose
;
inline