Vocabulary
typed

Definition

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