Type Alias TCarryResult

Type Declaration

• { problems: TLinkViolation[]; status: "invalid" }
• {
      collisions: TCarryCollision[];
      into: TCoreArgumentReference;
      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: TCoreArgumentReference

  • notCarried: TNotCarried[]

  • sources: TCarriedSource[]

  • status: "carried"

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