Function lazyModule

lazyModule<
    const Provides extends readonly AnyTag[],
    const Requires extends readonly AnyTag[] = readonly [],
    Props = void,
    Options = Props,
>(
    name: string,
    spec: ModuleSpec<Provides, Requires, Props, Options>,
    loader: LoadModule<Props, Requires, Provides>,
): Module<Options>
Helper to define a lazily loaded module body with an eager requires/provides spec. The spec is available without importing the chunk (dependency ordering happens before code-splitting resolves) and the loaded default export is type-checked against it. The returned Module is opaque with respect to requires/provides/props, parameterized only by Options — this is what eliminates TS2883 at every call site. The lazy pairing of makeModule.
Type Parameters
- const Provides extends readonly AnyTag[]
- const Requires extends readonly AnyTag[] = readonly []
- Props = void
- Options = Props
Parameters
- name: string
  The export name (e.g., 'AppGraphBuilder') - used to auto-compute module IDs.
- spec: ModuleSpec<Provides, Requires, Props, Options>
  The requires/provides declaration, matching the module authoring site.
- loader: LoadModule<Props, Requires, Provides>
  The lazy loader function.
Returns Module<Options>
- Defined in packages/sdk/app-framework/src/core/capability.ts:545