typed-lambda-word

Vocabulary

typed.prettyprint

Definition

USING: kernel locals.definitions words ;

IN: typed.prettyprint

PREDICATE: typed-lambda-word < lambda-word
    "typed-word" word-prop >boolean ;

Methods

USING: definitions kernel typed typed.prettyprint ;

M: typed-lambda-word definer drop \ TYPED:: \ ; ;