SYMBOL INDEX (23 symbols across 8 files)

FILE: examples/basic.ts
  type Minutes (line 5) | type Minutes = Nominal<'Minutes', number>;
  type Seconds (line 6) | type Seconds = Nominal<'Seconds', number>;

FILE: examples/composing.ts
  type SortedArray (line 3) | type SortedArray<T> = Nominal<'sortedArray', T[]>;
  type NonEmptyArray (line 14) | type NonEmptyArray<K, T extends K[]> = Nominal<'nonEmptyArray', T>;
  type NonEmptySorted (line 15) | type NonEmptySorted<T> = NonEmptyArray<T, SortedArray<T>>;

FILE: examples/proportionalityConstant.ts
  type Pixel (line 10) | type Pixel = Nominal<'Pixel', number>;
  type Seconds (line 11) | type Seconds = Nominal<'Seconds', number>;
  type PixelPerSecond (line 12) | type PixelPerSecond = ProportionalityConstant<Pixel, Seconds>;
  constant PIXEL_PER_SECOND (line 14) | const PIXEL_PER_SECOND: PixelPerSecond = 1 as PixelPerSecond;
  type A (line 20) | type A = typeof a;
  type C (line 26) | type C = typeof c;
  type _cases (line 28) | type _cases = [Expect<Equal<A, Pixel>>, Expect<Equal<C, Seconds>>];

FILE: examples/safeRecord.ts
  type SafeRecord (line 3) | type SafeRecord<V, R extends string = ''> = Nominal<

FILE: examples/sort.ts
  type SortedArray (line 3) | type SortedArray<T> = Nominal<'sortedArray', T[]>;

FILE: src/index.ts
  type Nominal (line 3) | type Nominal<Name extends string, Type> = Type & {

FILE: src/proportionalityConstant.ts
  type ProportionalityConstant (line 17) | type ProportionalityConstant<
  type multiplyWithKReturn (line 25) | type multiplyWithKReturn<K> = K extends ProportionalityConstant<
  type multiplyWithKInferX (line 32) | type multiplyWithKInferX<K> = K extends ProportionalityConstant<
  type divideWithKReturn (line 39) | type divideWithKReturn<K> = K extends ProportionalityConstant<infer _Y, ...
  type divideWithKInferY (line 43) | type divideWithKInferY<K> = K extends ProportionalityConstant<infer Y, i...

FILE: src/standardLib.ts
  type Negative (line 29) | type Negative<T extends number> = Nominal<'Negative', T>;
  type Zero (line 43) | type Zero<T extends number> = Nominal<'Zero', T>;
  type NegativeOrZero (line 48) | type NegativeOrZero<T extends number> = Negative<T> | Zero<T>;