-
Edward Z. Yang authored
The DefUnitId invariant says that the UnitId in a DefUnitId must in fact be a definite package (either with no holes, or fully instantiated.) This is in constrast to a UnitId, which can also identify an indefinite unit identifier. Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
bd3040bd