Summary
typed.private vocabulary

Words

Macro words
WordStack effect
(typed)( word def effect -- quot )
typed( quot word effect -- quot' )


Ordinary words
WordStack effect
(typed-def)( word def effect -- quot )
(unboxed-types)( type -- types )
(unboxer)( type -- quot )
<typed-gensym>( parent-word -- word )
add-depends-on-unboxing( class -- )
boxer( type -- quot )
define-typed-gensym( word def effect -- gensym )
make-boxer( types -- quot )
make-unboxer( error-quot word types -- quot )
typed-def( word def effect -- quot )
typed-def?( effect -- quot )
typed-inputs( quot word types -- quot' )
typed-outputs( quot word types -- quot' )
typed-stack-effect?( effect -- ? )
unboxable-tuple-class?( type -- ? )
unboxed-effect( effect -- effect' )
unboxed-types( types -- types' )
unboxer( error-quot word types type -- quot )