| [comment]: WIP - code is being refactored... |
| |
| ##General code organization of this package |
| |
| lib/src/ |
| |- ... |
| |- universe/ - how we represent the closed-world semantics of a program. |
| |
| [comment]: TODO fill in the rest |
| |
| |
| ##Details |
| |
| ### Universe |
| [comment]: TODO rename universe => world |
| [comment]: TODO consider merging feature.dart and use.dart |
| |
| How we represent the closed-world semantics of a program. |
| |
| universe/ |
| |- feature.dart - Features that may be used in the program. Using a feature |
| | pulls in special code that the compiler needs to support it. |
| |- use.dart - Describes a use of an element (a method, a class) and how it |
| | is used by the program. |
| |
| |
