5 { $values { "defspec" "a definition specifier" } }
6 { $description "Prettyprints a definition." } ;
9 { $values { "defspec" "a definition specifier" } { "loc" "an array holding a file name string and line number indexed from 1" } }
10 { $description "Outputs the location of a definition. If the location is not known, will output " { $snippet "{ f f }" } " or " { $link f } "." } ;
13 { $values { "defspec" "a definition specifier" } }
14 { $description "Forgets about a definition. For example, if it is a word, it will be removed from its vocabulary." } ;