Handbook
Glossary
-2with- ( invariant invariant begin end quot -- begin end quot' )
Vocabulary
cursors
Inputs
invariant
an
object
invariant
an
object
begin
an
object
end
an
object
quot
an
object
Outputs
begin
an
object
end
an
object
quot'
an
object
Definition
IN:
cursors
:
-2with-
( invariant invariant begin end quot -- begin end quot' )
-with-
-with-
;
inline