Function mergeCarriedInput

Parameters

• own: {
      linkAnswers?: Readonly<Record<string, TLinkAnswer>>;
      operatorAssignments?: Readonly<Record<string, "accepted" | "rejected">>;
      variables?: Readonly<Record<string, boolean | null>>;
  }
• carried: {
      collisions: TCarryCollision[];
      into: { argumentId: string; argumentVersion: number };
      notCarried: TNotCarried[];
      sources: TCarriedSource[];
      status: "carried";
  } & (
      | {
          intoResponse: false;
          operatorAssignments: Record<string, "accepted" | "rejected">;
          variables: Record<string, boolean>;
      }
      | { intoResponse: true; linkAnswers: Record<string, TLinkAnswer> }
  )

  • collisions: TCarryCollision[]

    Values a carried link would have carried that the reader's own links (ownLinkPremiseIds) give another value. Empty unless own links were named.

  • into: { argumentId: string; argumentVersion: number }

  • notCarried: TNotCarried[]

  • sources: TCarriedSource[]

  • status: "carried"

  • {
        intoResponse: false;
        operatorAssignments: Record<string, "accepted" | "rejected">;
        variables: Record<string, boolean>;
    }
  • { intoResponse: true; linkAnswers: Record<string, TLinkAnswer> }