make-unboxer ( error-quot word types -- quot )


Vocabulary
typed.private

Inputs
error-quotan object
wordan object
typesan object


Outputs
quotan object


Definition
USING: generalizations kernel sequences ;

IN: typed.private

: make-unboxer ( error-quot word types -- quot )
dup [ unboxer ] 3 nwith
[ swap \ dip [ ] 2sequence prepend ] map-reduce ;