Assertion: variable | /r/HasProperty | given type
Facets:
Source sentences:
text: In Common Lisp, both situations exist simultaneously: A variable is given a type (if undeclared, it is assumed to be T , the universal supertype) which exists at compile time.
text: In Common Lisp, both situations exist simultaneously: A variable is given a type (if undeclared, it is assumed to be T , the universal supertype) which exists at compile time.