typed-inputs ( quot word types -- quot' )

Vocabulary

typed.private

Inputs

quot	an object
word	an object
types	an object

Outputs

quot'

an object

Definition

USING: kernel kernel.private typed ;

IN: typed.private

:: typed-inputs ( quot word types -- quot' )
    types unboxed-types :> unboxed-types
    [ input-mismatch-error ] word types make-unboxer
    unboxed-types quot [ [ declare ] curry ] dip compose compose
    ;