Type Alias ActionEdgeTargetId<Member>

ActionEdgeTargetId: Member extends (self: never, state: never) => infer Bound
    ? Bound extends { "~edge"?: infer Shape }
        ? Shape extends ScreenEdgeShape<infer D, ReadonlyArray<unknown>>
            ? D extends { id: infer Id } ? Id : never
            : never
        : never
    : never

The target of an action edge's declaration, read from the same ~edge brand the reachability follows.