# GuardType.Input

Extracts the accepted input type from a Guard or Guard adapter.

## Signatures

```ts
type Input<T> = [
    T
] extends [
    Guard<infer I, infer _R, infer _E, infer _O>
] ? I : [
    T
] extends [
    AsGuard<infer I, infer _R, infer _E, infer _O>
] ? I : never;
```

## Why

The extractor keeps generic APIs aligned with the exact input contract without repeating inference logic.

## Ownership and lifetime

This compile-time type acquires no resources and has no runtime lifetime.

## Examples

```ts
import type { Guard } from "@typed/guard"
type Input = Guard.Input<Guard<string, number>>
```