Type Alias TCarryCollision

TCarryCollision: { linkPremiseIds: string[] } & (
    | { carried: boolean; id: string; kind: "variable"; own: boolean }
    | {
        carried: "accepted" | "rejected";
        id: string;
        kind: "operator";
        own: "accepted" | "rejected";
    }
    | {
        carried: TLinkAnswer;
        id: string;
        kind: "linkAnswer";
        own: TLinkAnswer;
    }
)

A carried value the reader's own input already gives another value.