Handbook Glossary
factorcode.org
typed-def? ( effect -- quot )


Vocabulary
typed.private

Inputs
effectan object


Outputs
quotan 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|| ;