typed-def? ( effect -- quot )

Vocabulary

typed.private

Inputs

effect

an object

Outputs

quot

an object

Definition

USING: combinators.short-circuit effects ;

IN: typed.private

: typed-def? ( effect -- quot )
    {
        [ effect-in-types typed-stack-effect? ]
        [ effect-out-types typed-stack-effect? ]
    } 1|| ;