Fix init omitting logic

[mpppk]

This pull request includes several changes to improve type safety and documentation in the pkgs/docs/docs/04_client/overview.md and pkgs/typed-api-spec files. The most important changes include removing unnecessary parameters from fetch calls, adding a new And type, and updating the FetchT type to enforce stricter type checks.

Improvements to type safety in fetch calls:

• pkgs/docs/docs/04_client/overview.md: Removed unnecessary empty object parameters from fetch calls to simplify the code and improve readability. [1] [2] [3] [4]

Enhancements to type definitions and tests:

• pkgs/typed-api-spec/src/core/type.ts: Added a new And type to compute the logical AND of a tuple of boolean types at the type level.
• pkgs/typed-api-spec/src/core/type.t-test.ts: Added test cases for the new And type to ensure its correctness.

Updates to FetchT type:

• pkgs/typed-api-spec/src/fetch/index.ts: Updated the FetchT type to include new template parameters CanOmitHeaders and CanOmitBody, and modified the CanOmitInit parameter to use the new And type for stricter type checks. [1] [2] [3] [4]

Documentation improvements:

• pkgs/docs/docs/04_client/overview.md: Added a new section to explain the type safety enforcement for the init parameter in fetch calls, ensuring adherence to API specifications.

These changes collectively enhance the type safety and clarity of the codebase, making it easier to maintain and less prone to runtime errors.

[Copilot]

Copilot reviewed 5 out of 5 changed files in this pull request and generated 1 comment.

[Copilot]

[nitpick] There appears to be a typo in the comment ('定：w'); consider correcting it to '定義' to improve clarity.

[mpppk]

nice catch