Vocabulary
typed

Inputs
worda word
defa quotation
effectan effect


Outputs
None

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