/**
 * Custom artisanal types, handcrafted especially for Gecko.
 */

declare global {
  type DeclaredLazy<T> = {
    [P in keyof T]: T[P] extends () => infer U
      ? U
      : T[P] extends keyof Modules
        ? Exports<T[P], P>
        : T[P] extends { pref: string; default?: infer U }
          ? Widen<U>
          : T[P] extends { service: string; iid?: infer U }
            ? nsQIResult<U>
            : never;
  };

  type LazyDefinition = Record<
    string,
    | string
    | (() => any)
    | { service: string; iid: nsIID }
    | { pref: string; default?; onUpdate?; transform? }
  >;

  type Values<T> = T[keyof T];
}

type Exports<M, P> = M extends keyof Modules ? IfKey<Modules[M], P> : never;
type IfKey<T, K> = K extends keyof T ? T[K] : never;

type Modules = import("./generated/lib.gecko.modules").Modules;

type Widen<T> = T extends boolean
  ? boolean
  : T extends number
    ? number
    : T extends string
      ? string
      : never;

export {};