Exact<D>: {
    readonly [K in keyof D]: K extends "$schema"
        ? D[K]
        : InferNarrowestValue<D[K]>
}

Infer the narrowest type from the state machine definition.

Type Parameters

  • D

    The type of state machine definition.