define-typed ( word def effect -- )
Strongly-typed word definitions

Prev:TYPED::
Next:input-mismatch-error ( value expected-type word expected-types -- * )


Vocabulary
typed

Inputs and outputs
worda word
defa quotation
effectan effect


Word description
The runtime equivalent to TYPED: and TYPED::. Defines word with def as its body and effect as its stack effect. The word will check that its inputs and outputs correspond to the types specified in effect as described in the TYPED: documentation.

See also
TYPED:, TYPED::

Definition