Vocabulary
typed.private

Inputs
quotan object
wordan object
typesan object


Outputs
quot'an object


Definition


:: 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
;