(typed-def) ( word def effect -- quot )

Vocabulary

typed.private

Inputs

word	an object
def	an object
effect	an object

Outputs

quot

an object

Definition

USING: kernel quotations words ;

IN: typed.private

: (typed-def) ( word def effect -- quot )
    [ define-typed-gensym ] 3keep [
        drop
        [ swap "typed-word" set-word-prop ]
        [ [ 1quotation ] dip ] 2bi
    ] dip [ typed ] 3curry ;