Assertion details
Summary
unreadable symbol be 1 useful
PURPOSE
to avoid collisions 1
TEMPORAL
in compilation 1
in expansion 1
3 facets
Facet Type Facet cluster
to avoid collisions 1 purpose
in compilation 1 temporal
in expansion 1 temporal
1 triples in cluster
unreadable symbol be useful 1
1 source sentences
Source: Shown
Subject: Shown
Predicate: Shown
Object: Shown
Facet: Shown
  • SRC Unreadable symbols are useful in expansion and compilation to avoid collisions with symbols that appear in the source ; they are usually not generated directly , but they can appear in the result of functions like identifier - binding .