type-mismatch-error ( value expected-type word expected-types -- * )


Vocabulary
typed

Definition

ERROR: type-mismatch-error
value expected-type word expected-types ;