Vocabulary
see

Inputs
defspeca definition specifier


Outputs
stra string


Generic word contract
Prettyprints the prologue of a definition.

Definition