@proposit/shared 0.1.0

package/dist/api-client/argument/logic/index.d.ts

@@ -0,0 +1,861 @@
+import type { TExpressionCreation, TExpressionUpdate, TPremiseCreation, TPremiseUpdate, TVariableCreation, TVariableUpdate } from "../../../schemas/api/argument/logic.js";
+import { Type } from "typebox";
+export declare function getLogicData(argumentId: string, argumentVersion: number, fetchFn?: typeof fetch, urlPrefix?: string): Promise<import("../../../schemas/common.js").ParsedError<Type.TObject<{
+    errorID: Type.TNumber;
+    errorMessage: Type.TString;
+    statusCode: Type.TNumber;
+}>> | import("../../../schemas/common.js").ParsedSuccess<Type.TObject<{
+    argument: Type.TIntersect<[Type.TObject<{
+        createdOn: import("../../../schemas/common.js").TDateType;
+        creatorId: Type.TString;
+        title: Type.TString;
+        published: Type.TBoolean;
+        publishedOn: Type.TUnion<[import("../../../schemas/common.js").TDateType, Type.TNull]>;
+        forkId: Type.TUnion<[Type.TString, Type.TNull]>;
+        digest: Type.TString;
+        description: Type.TUnion<[Type.TString, Type.TNull]>;
+        id: Type.TString;
+        version: Type.TNumber;
+        titleContentHash: Type.TUnion<[Type.TString, Type.TNull]>;
+        popularity: Type.TNumber;
+        platform: Type.TUnion<[Type.TLiteral<"twitter">, Type.TLiteral<"reddit">, Type.TLiteral<"raw_text">, Type.TLiteral<"manual">]>;
+        platformData: Type.TUnion<[Type.TUnion<[Type.TObject<{
+            argumentTitle: Type.TString;
+            textContent: Type.TNull;
+        }>, Type.TObject<{
+            argumentTitle: Type.TOptional<Type.TString>;
+            textContent: Type.TString;
+            postUrl: Type.TString;
+            importMode: Type.TUnion<[Type.TLiteral<"self_author">, Type.TLiteral<"other_author">, Type.TLiteral<"copy_contents">]>;
+            embedResponse: Type.TOptional<Type.TObject<{
+                url: Type.TString;
+                authorUrl: Type.TString;
+                authorName: Type.TString;
+                html: Type.TString;
+                width: Type.TOptional<Type.TNumber>;
+                height: Type.TOptional<Type.TUnion<[Type.TNumber, Type.TNull]>>;
+                type: Type.TOptional<Type.TString>;
+                version: Type.TOptional<Type.TString>;
+                providerName: Type.TOptional<Type.TString>;
+                providerUrl: Type.TOptional<Type.TString>;
+                cacheAge: Type.TOptional<Type.TString>;
+            }>>;
+            username: Type.TOptional<Type.TString>;
+        }>, Type.TObject<{
+            argumentTitle: Type.TOptional<Type.TString>;
+            textContent: Type.TString;
+            postUrl: Type.TString;
+            username: Type.TOptional<Type.TString>;
+        }>, Type.TObject<{
+            argumentTitle: Type.TOptional<Type.TString>;
+            textContent: Type.TString;
+        }>]>, Type.TNull]>;
+        platformUsername: Type.TUnion<[Type.TString, Type.TNull]>;
+    }>, Type.TObject<{
+        checksum: Type.TOptional<Type.TString>;
+        descendantChecksum: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
+        combinedChecksum: Type.TOptional<Type.TString>;
+    }>]>;
+    variables: Type.TObject<{
+        variables: Type.TArray<Type.TUnion<[Type.TIntersect<[Type.TObject<{
+            symbol: Type.TString;
+            createdOn: import("../../../schemas/common.js").TDateType;
+            creatorId: Type.TString;
+            claimId: Type.TString;
+            claimVersion: Type.TNumber;
+            argumentId: Type.TString;
+            argumentVersion: Type.TNumber;
+            id: Type.TString;
+        }>, Type.TObject<{
+            checksum: Type.TOptional<Type.TString>;
+            descendantChecksum: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
+            combinedChecksum: Type.TOptional<Type.TString>;
+        }>]>, Type.TIntersect<[Type.TObject<{
+            symbol: Type.TString;
+            createdOn: import("../../../schemas/common.js").TDateType;
+            creatorId: Type.TString;
+            boundPremiseId: Type.TString;
+            boundArgumentId: Type.TString;
+            boundArgumentVersion: Type.TNumber;
+            argumentId: Type.TString;
+            argumentVersion: Type.TNumber;
+            id: Type.TString;
+        }>, Type.TObject<{
+            checksum: Type.TOptional<Type.TString>;
+            descendantChecksum: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
+            combinedChecksum: Type.TOptional<Type.TString>;
+        }>]>]>>;
+        config: Type.TOptional<Type.TUnknown>;
+    }>;
+    premises: Type.TArray<Type.TObject<{
+        premise: Type.TIntersect<[Type.TObject<{
+            createdOn: Type.TOptional<import("../../../schemas/common.js").TDateType>;
+            creatorId: Type.TOptional<Type.TString>;
+            argumentId: Type.TString;
+            argumentVersion: Type.TNumber;
+            role: Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"supporting">]>;
+            title: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
+            id: Type.TString;
+        }>, Type.TObject<{
+            checksum: Type.TOptional<Type.TString>;
+            descendantChecksum: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
+            combinedChecksum: Type.TOptional<Type.TString>;
+        }>]>;
+        rootExpressionId: Type.TOptional<Type.TString>;
+        expressions: Type.TObject<{
+            expressions: Type.TArray<Type.TUnion<[Type.TIntersect<[Type.TObject<{
+                id: Type.TString;
+                argumentId: Type.TString;
+                argumentVersion: Type.TNumber;
+                premiseId: Type.TString;
+                parentId: Type.TUnion<[Type.TString, Type.TNull]>;
+                position: Type.TNumber;
+                checksum: Type.TString;
+                descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
+                combinedChecksum: Type.TString;
+                type: Type.TLiteral<"variable">;
+                variableId: Type.TString;
+            }>, Type.TObject<{
+                createdOn: import("../../../schemas/common.js").TDateType;
+                creatorId: Type.TString;
+            }>, Type.TObject<{
+                operator: Type.TNull;
+            }>]>, Type.TIntersect<[Type.TObject<{
+                id: Type.TString;
+                argumentId: Type.TString;
+                argumentVersion: Type.TNumber;
+                premiseId: Type.TString;
+                parentId: Type.TUnion<[Type.TString, Type.TNull]>;
+                position: Type.TNumber;
+                checksum: Type.TString;
+                descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
+                combinedChecksum: Type.TString;
+                type: Type.TLiteral<"operator">;
+                operator: Type.TUnion<[Type.TLiteral<"not">, Type.TLiteral<"and">, Type.TLiteral<"or">, Type.TLiteral<"implies">, Type.TLiteral<"iff">]>;
+            }>, Type.TObject<{
+                createdOn: import("../../../schemas/common.js").TDateType;
+                creatorId: Type.TString;
+            }>, Type.TObject<{
+                variableId: Type.TNull;
+            }>]>, Type.TIntersect<[Type.TObject<{
+                id: Type.TString;
+                argumentId: Type.TString;
+                argumentVersion: Type.TNumber;
+                premiseId: Type.TString;
+                parentId: Type.TUnion<[Type.TString, Type.TNull]>;
+                position: Type.TNumber;
+                checksum: Type.TString;
+                descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
+                combinedChecksum: Type.TString;
+                type: Type.TLiteral<"formula">;
+            }>, Type.TObject<{
+                createdOn: import("../../../schemas/common.js").TDateType;
+                creatorId: Type.TString;
+            }>, Type.TObject<{
+                variableId: Type.TNull;
+                operator: Type.TNull;
+            }>]>]>>;
+            config: Type.TOptional<Type.TUnknown>;
+        }>;
+        config: Type.TOptional<Type.TUnknown>;
+    }>>;
+    conclusionPremiseId: Type.TOptional<Type.TString>;
+    sources: Type.TOptional<Type.TObject<{
+        variableSourceAssociations: Type.TArray<Type.TUnknown>;
+        expressionSourceAssociations: Type.TArray<Type.TUnknown>;
+    }>>;
+    config: Type.TOptional<Type.TUnknown>;
+}>>>;
+export declare function getPremises(argumentId: string, argumentVersion: number, fetchFn?: typeof fetch, urlPrefix?: string): Promise<import("../../../schemas/common.js").ParsedError<Type.TObject<{
+    errorID: Type.TNumber;
+    errorMessage: Type.TString;
+    statusCode: Type.TNumber;
+}>> | import("../../../schemas/common.js").ParsedSuccess<Type.TArray<Type.TIntersect<[Type.TObject<{
+    id: Type.TString;
+    argumentId: Type.TString;
+    argumentVersion: Type.TNumber;
+    checksum: Type.TString;
+    descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
+    combinedChecksum: Type.TString;
+}>, Type.TObject<{
+    title: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
+    role: Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"supporting">]>;
+    createdOn: Type.TOptional<import("../../../schemas/common.js").TDateType>;
+    creatorId: Type.TOptional<Type.TString>;
+}>]>>>>;
+export declare function createPremise(argumentId: string, argumentVersion: number, data: TPremiseCreation, fetchFn?: typeof fetch, urlPrefix?: string): Promise<import("../../../schemas/common.js").ParsedError<Type.TObject<{
+    errorID: Type.TNumber;
+    errorMessage: Type.TString;
+    statusCode: Type.TNumber;
+}>> | import("../../../schemas/common.js").ParsedSuccess<Type.TObject<{
+    premise: Type.TIntersect<[Type.TObject<{
+        id: Type.TString;
+        argumentId: Type.TString;
+        argumentVersion: Type.TNumber;
+        checksum: Type.TString;
+        descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
+        combinedChecksum: Type.TString;
+    }>, Type.TObject<{
+        title: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
+        role: Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"supporting">]>;
+        createdOn: Type.TOptional<import("../../../schemas/common.js").TDateType>;
+        creatorId: Type.TOptional<Type.TString>;
+    }>]>;
+    variable: Type.TUnion<[Type.TUnion<[Type.TIntersect<[Type.TObject<{
+        claimId: Type.TString;
+        claimVersion: Type.TNumber;
+        id: Type.TString;
+        argumentId: Type.TString;
+        argumentVersion: Type.TNumber;
+        symbol: Type.TString;
+        checksum: Type.TString;
+    }>, Type.TObject<{
+        createdOn: import("../../../schemas/common.js").TDateType;
+        creatorId: Type.TString;
+        descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
+        combinedChecksum: Type.TString;
+    }>]>, Type.TIntersect<[Type.TObject<{
+        boundPremiseId: Type.TString;
+        boundArgumentId: Type.TString;
+        boundArgumentVersion: Type.TNumber;
+        id: Type.TString;
+        argumentId: Type.TString;
+        argumentVersion: Type.TNumber;
+        symbol: Type.TString;
+        checksum: Type.TString;
+    }>, Type.TObject<{
+        createdOn: import("../../../schemas/common.js").TDateType;
+        creatorId: Type.TString;
+        descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
+        combinedChecksum: Type.TString;
+    }>]>]>, Type.TNull]>;
+}>>>;
+export declare function updatePremise(argumentId: string, argumentVersion: number, premiseId: string, data: TPremiseUpdate, fetchFn?: typeof fetch, urlPrefix?: string): Promise<import("../../../schemas/common.js").ParsedError<Type.TObject<{
+    errorID: Type.TNumber;
+    errorMessage: Type.TString;
+    statusCode: Type.TNumber;
+}>> | import("../../../schemas/common.js").ParsedSuccess<Type.TIntersect<[Type.TObject<{
+    id: Type.TString;
+    argumentId: Type.TString;
+    argumentVersion: Type.TNumber;
+    checksum: Type.TString;
+    descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
+    combinedChecksum: Type.TString;
+}>, Type.TObject<{
+    title: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
+    role: Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"supporting">]>;
+    createdOn: Type.TOptional<import("../../../schemas/common.js").TDateType>;
+    creatorId: Type.TOptional<Type.TString>;
+}>]>>>;
+export declare function deletePremise(argumentId: string, argumentVersion: number, premiseId: string, checksum: string, fetchFn?: typeof fetch, urlPrefix?: string): Promise<import("../../../schemas/common.js").ParsedError<Type.TObject<{
+    errorID: Type.TNumber;
+    errorMessage: Type.TString;
+    statusCode: Type.TNumber;
+}>> | import("../../../schemas/common.js").ParsedSuccess<Type.TObject<{
+    deleted: Type.TBoolean;
+}>>>;
+export declare function getPremise(argumentId: string, argumentVersion: number, premiseId: string, fetchFn?: typeof fetch, urlPrefix?: string): Promise<import("../../../schemas/common.js").ParsedError<Type.TObject<{
+    errorID: Type.TNumber;
+    errorMessage: Type.TString;
+    statusCode: Type.TNumber;
+}>> | import("../../../schemas/common.js").ParsedSuccess<Type.TIntersect<[Type.TObject<{
+    id: Type.TString;
+    argumentId: Type.TString;
+    argumentVersion: Type.TNumber;
+    checksum: Type.TString;
+    descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
+    combinedChecksum: Type.TString;
+}>, Type.TObject<{
+    title: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
+    role: Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"supporting">]>;
+    createdOn: Type.TOptional<import("../../../schemas/common.js").TDateType>;
+    creatorId: Type.TOptional<Type.TString>;
+}>]>>>;
+export declare function getExpressions(argumentId: string, argumentVersion: number, premiseId?: string, fetchFn?: typeof fetch, urlPrefix?: string): Promise<import("../../../schemas/common.js").ParsedError<Type.TObject<{
+    errorID: Type.TNumber;
+    errorMessage: Type.TString;
+    statusCode: Type.TNumber;
+}>> | import("../../../schemas/common.js").ParsedSuccess<Type.TArray<Type.TUnion<[Type.TIntersect<[Type.TObject<{
+    id: Type.TString;
+    argumentId: Type.TString;
+    argumentVersion: Type.TNumber;
+    premiseId: Type.TString;
+    parentId: Type.TUnion<[Type.TString, Type.TNull]>;
+    position: Type.TNumber;
+    checksum: Type.TString;
+    descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
+    combinedChecksum: Type.TString;
+    type: Type.TLiteral<"variable">;
+    variableId: Type.TString;
+}>, Type.TObject<{
+    createdOn: import("../../../schemas/common.js").TDateType;
+    creatorId: Type.TString;
+}>, Type.TObject<{
+    operator: Type.TNull;
+}>]>, Type.TIntersect<[Type.TObject<{
+    id: Type.TString;
+    argumentId: Type.TString;
+    argumentVersion: Type.TNumber;
+    premiseId: Type.TString;
+    parentId: Type.TUnion<[Type.TString, Type.TNull]>;
+    position: Type.TNumber;
+    checksum: Type.TString;
+    descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
+    combinedChecksum: Type.TString;
+    type: Type.TLiteral<"operator">;
+    operator: Type.TUnion<[Type.TLiteral<"not">, Type.TLiteral<"and">, Type.TLiteral<"or">, Type.TLiteral<"implies">, Type.TLiteral<"iff">]>;
+}>, Type.TObject<{
+    createdOn: import("../../../schemas/common.js").TDateType;
+    creatorId: Type.TString;
+}>, Type.TObject<{
+    variableId: Type.TNull;
+}>]>, Type.TIntersect<[Type.TObject<{
+    id: Type.TString;
+    argumentId: Type.TString;
+    argumentVersion: Type.TNumber;
+    premiseId: Type.TString;
+    parentId: Type.TUnion<[Type.TString, Type.TNull]>;
+    position: Type.TNumber;
+    checksum: Type.TString;
+    descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
+    combinedChecksum: Type.TString;
+    type: Type.TLiteral<"formula">;
+}>, Type.TObject<{
+    createdOn: import("../../../schemas/common.js").TDateType;
+    creatorId: Type.TString;
+}>, Type.TObject<{
+    variableId: Type.TNull;
+    operator: Type.TNull;
+}>]>]>>>>;
+export declare function createExpression(argumentId: string, argumentVersion: number, data: TExpressionCreation, fetchFn?: typeof fetch, urlPrefix?: string): Promise<import("../../../schemas/common.js").ParsedError<Type.TObject<{
+    errorID: Type.TNumber;
+    errorMessage: Type.TString;
+    statusCode: Type.TNumber;
+}>> | import("../../../schemas/common.js").ParsedSuccess<Type.TObject<{
+    created: Type.TUnion<[Type.TIntersect<[Type.TObject<{
+        id: Type.TString;
+        argumentId: Type.TString;
+        argumentVersion: Type.TNumber;
+        premiseId: Type.TString;
+        parentId: Type.TUnion<[Type.TString, Type.TNull]>;
+        position: Type.TNumber;
+        checksum: Type.TString;
+        descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
+        combinedChecksum: Type.TString;
+        type: Type.TLiteral<"variable">;
+        variableId: Type.TString;
+    }>, Type.TObject<{
+        createdOn: import("../../../schemas/common.js").TDateType;
+        creatorId: Type.TString;
+    }>, Type.TObject<{
+        operator: Type.TNull;
+    }>]>, Type.TIntersect<[Type.TObject<{
+        id: Type.TString;
+        argumentId: Type.TString;
+        argumentVersion: Type.TNumber;
+        premiseId: Type.TString;
+        parentId: Type.TUnion<[Type.TString, Type.TNull]>;
+        position: Type.TNumber;
+        checksum: Type.TString;
+        descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
+        combinedChecksum: Type.TString;
+        type: Type.TLiteral<"operator">;
+        operator: Type.TUnion<[Type.TLiteral<"not">, Type.TLiteral<"and">, Type.TLiteral<"or">, Type.TLiteral<"implies">, Type.TLiteral<"iff">]>;
+    }>, Type.TObject<{
+        createdOn: import("../../../schemas/common.js").TDateType;
+        creatorId: Type.TString;
+    }>, Type.TObject<{
+        variableId: Type.TNull;
+    }>]>, Type.TIntersect<[Type.TObject<{
+        id: Type.TString;
+        argumentId: Type.TString;
+        argumentVersion: Type.TNumber;
+        premiseId: Type.TString;
+        parentId: Type.TUnion<[Type.TString, Type.TNull]>;
+        position: Type.TNumber;
+        checksum: Type.TString;
+        descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
+        combinedChecksum: Type.TString;
+        type: Type.TLiteral<"formula">;
+    }>, Type.TObject<{
+        createdOn: import("../../../schemas/common.js").TDateType;
+        creatorId: Type.TString;
+    }>, Type.TObject<{
+        variableId: Type.TNull;
+        operator: Type.TNull;
+    }>]>]>;
+    shifted: Type.TArray<Type.TUnion<[Type.TIntersect<[Type.TObject<{
+        id: Type.TString;
+        argumentId: Type.TString;
+        argumentVersion: Type.TNumber;
+        premiseId: Type.TString;
+        parentId: Type.TUnion<[Type.TString, Type.TNull]>;
+        position: Type.TNumber;
+        checksum: Type.TString;
+        descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
+        combinedChecksum: Type.TString;
+        type: Type.TLiteral<"variable">;
+        variableId: Type.TString;
+    }>, Type.TObject<{
+        createdOn: import("../../../schemas/common.js").TDateType;
+        creatorId: Type.TString;
+    }>, Type.TObject<{
+        operator: Type.TNull;
+    }>]>, Type.TIntersect<[Type.TObject<{
+        id: Type.TString;
+        argumentId: Type.TString;
+        argumentVersion: Type.TNumber;
+        premiseId: Type.TString;
+        parentId: Type.TUnion<[Type.TString, Type.TNull]>;
+        position: Type.TNumber;
+        checksum: Type.TString;
+        descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
+        combinedChecksum: Type.TString;
+        type: Type.TLiteral<"operator">;
+        operator: Type.TUnion<[Type.TLiteral<"not">, Type.TLiteral<"and">, Type.TLiteral<"or">, Type.TLiteral<"implies">, Type.TLiteral<"iff">]>;
+    }>, Type.TObject<{
+        createdOn: import("../../../schemas/common.js").TDateType;
+        creatorId: Type.TString;
+    }>, Type.TObject<{
+        variableId: Type.TNull;
+    }>]>, Type.TIntersect<[Type.TObject<{
+        id: Type.TString;
+        argumentId: Type.TString;
+        argumentVersion: Type.TNumber;
+        premiseId: Type.TString;
+        parentId: Type.TUnion<[Type.TString, Type.TNull]>;
+        position: Type.TNumber;
+        checksum: Type.TString;
+        descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
+        combinedChecksum: Type.TString;
+        type: Type.TLiteral<"formula">;
+    }>, Type.TObject<{
+        createdOn: import("../../../schemas/common.js").TDateType;
+        creatorId: Type.TString;
+    }>, Type.TObject<{
+        variableId: Type.TNull;
+        operator: Type.TNull;
+    }>]>]>>;
+}>>>;
+export declare function updateExpression(argumentId: string, argumentVersion: number, expressionId: string, data: TExpressionUpdate, fetchFn?: typeof fetch, urlPrefix?: string): Promise<import("../../../schemas/common.js").ParsedError<Type.TObject<{
+    errorID: Type.TNumber;
+    errorMessage: Type.TString;
+    statusCode: Type.TNumber;
+}>> | import("../../../schemas/common.js").ParsedSuccess<Type.TUnion<[Type.TIntersect<[Type.TObject<{
+    id: Type.TString;
+    argumentId: Type.TString;
+    argumentVersion: Type.TNumber;
+    premiseId: Type.TString;
+    parentId: Type.TUnion<[Type.TString, Type.TNull]>;
+    position: Type.TNumber;
+    checksum: Type.TString;
+    descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
+    combinedChecksum: Type.TString;
+    type: Type.TLiteral<"variable">;
+    variableId: Type.TString;
+}>, Type.TObject<{
+    createdOn: import("../../../schemas/common.js").TDateType;
+    creatorId: Type.TString;
+}>, Type.TObject<{
+    operator: Type.TNull;
+}>]>, Type.TIntersect<[Type.TObject<{
+    id: Type.TString;
+    argumentId: Type.TString;
+    argumentVersion: Type.TNumber;
+    premiseId: Type.TString;
+    parentId: Type.TUnion<[Type.TString, Type.TNull]>;
+    position: Type.TNumber;
+    checksum: Type.TString;
+    descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
+    combinedChecksum: Type.TString;
+    type: Type.TLiteral<"operator">;
+    operator: Type.TUnion<[Type.TLiteral<"not">, Type.TLiteral<"and">, Type.TLiteral<"or">, Type.TLiteral<"implies">, Type.TLiteral<"iff">]>;
+}>, Type.TObject<{
+    createdOn: import("../../../schemas/common.js").TDateType;
+    creatorId: Type.TString;
+}>, Type.TObject<{
+    variableId: Type.TNull;
+}>]>, Type.TIntersect<[Type.TObject<{
+    id: Type.TString;
+    argumentId: Type.TString;
+    argumentVersion: Type.TNumber;
+    premiseId: Type.TString;
+    parentId: Type.TUnion<[Type.TString, Type.TNull]>;
+    position: Type.TNumber;
+    checksum: Type.TString;
+    descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
+    combinedChecksum: Type.TString;
+    type: Type.TLiteral<"formula">;
+}>, Type.TObject<{
+    createdOn: import("../../../schemas/common.js").TDateType;
+    creatorId: Type.TString;
+}>, Type.TObject<{
+    variableId: Type.TNull;
+    operator: Type.TNull;
+}>]>]>>>;
+export declare function deleteExpression(argumentId: string, argumentVersion: number, expressionId: string, checksum: string, fetchFn?: typeof fetch, urlPrefix?: string): Promise<import("../../../schemas/common.js").ParsedError<Type.TObject<{
+    errorID: Type.TNumber;
+    errorMessage: Type.TString;
+    statusCode: Type.TNumber;
+}>> | import("../../../schemas/common.js").ParsedSuccess<Type.TObject<{
+    deleted: Type.TBoolean;
+}>>>;
+export declare function getExpression(argumentId: string, argumentVersion: number, expressionId: string, fetchFn?: typeof fetch, urlPrefix?: string): Promise<import("../../../schemas/common.js").ParsedError<Type.TObject<{
+    errorID: Type.TNumber;
+    errorMessage: Type.TString;
+    statusCode: Type.TNumber;
+}>> | import("../../../schemas/common.js").ParsedSuccess<Type.TUnion<[Type.TIntersect<[Type.TObject<{
+    id: Type.TString;
+    argumentId: Type.TString;
+    argumentVersion: Type.TNumber;
+    premiseId: Type.TString;
+    parentId: Type.TUnion<[Type.TString, Type.TNull]>;
+    position: Type.TNumber;
+    checksum: Type.TString;
+    descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
+    combinedChecksum: Type.TString;
+    type: Type.TLiteral<"variable">;
+    variableId: Type.TString;
+}>, Type.TObject<{
+    createdOn: import("../../../schemas/common.js").TDateType;
+    creatorId: Type.TString;
+}>, Type.TObject<{
+    operator: Type.TNull;
+}>]>, Type.TIntersect<[Type.TObject<{
+    id: Type.TString;
+    argumentId: Type.TString;
+    argumentVersion: Type.TNumber;
+    premiseId: Type.TString;
+    parentId: Type.TUnion<[Type.TString, Type.TNull]>;
+    position: Type.TNumber;
+    checksum: Type.TString;
+    descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
+    combinedChecksum: Type.TString;
+    type: Type.TLiteral<"operator">;
+    operator: Type.TUnion<[Type.TLiteral<"not">, Type.TLiteral<"and">, Type.TLiteral<"or">, Type.TLiteral<"implies">, Type.TLiteral<"iff">]>;
+}>, Type.TObject<{
+    createdOn: import("../../../schemas/common.js").TDateType;
+    creatorId: Type.TString;
+}>, Type.TObject<{
+    variableId: Type.TNull;
+}>]>, Type.TIntersect<[Type.TObject<{
+    id: Type.TString;
+    argumentId: Type.TString;
+    argumentVersion: Type.TNumber;
+    premiseId: Type.TString;
+    parentId: Type.TUnion<[Type.TString, Type.TNull]>;
+    position: Type.TNumber;
+    checksum: Type.TString;
+    descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
+    combinedChecksum: Type.TString;
+    type: Type.TLiteral<"formula">;
+}>, Type.TObject<{
+    createdOn: import("../../../schemas/common.js").TDateType;
+    creatorId: Type.TString;
+}>, Type.TObject<{
+    variableId: Type.TNull;
+    operator: Type.TNull;
+}>]>]>>>;
+export declare function toggleNegation(argumentId: string, argumentVersion: number, expressionId: string, fetchFn?: typeof fetch, urlPrefix?: string): Promise<import("../../../schemas/common.js").ParsedError<Type.TObject<{
+    errorID: Type.TNumber;
+    errorMessage: Type.TString;
+    statusCode: Type.TNumber;
+}>> | import("../../../schemas/common.js").ParsedSuccess<Type.TObject<{
+    argument: Type.TIntersect<[Type.TObject<{
+        createdOn: import("../../../schemas/common.js").TDateType;
+        creatorId: Type.TString;
+        title: Type.TString;
+        published: Type.TBoolean;
+        publishedOn: Type.TUnion<[import("../../../schemas/common.js").TDateType, Type.TNull]>;
+        forkId: Type.TUnion<[Type.TString, Type.TNull]>;
+        digest: Type.TString;
+        description: Type.TUnion<[Type.TString, Type.TNull]>;
+        id: Type.TString;
+        version: Type.TNumber;
+        titleContentHash: Type.TUnion<[Type.TString, Type.TNull]>;
+        popularity: Type.TNumber;
+        platform: Type.TUnion<[Type.TLiteral<"twitter">, Type.TLiteral<"reddit">, Type.TLiteral<"raw_text">, Type.TLiteral<"manual">]>;
+        platformData: Type.TUnion<[Type.TUnion<[Type.TObject<{
+            argumentTitle: Type.TString;
+            textContent: Type.TNull;
+        }>, Type.TObject<{
+            argumentTitle: Type.TOptional<Type.TString>;
+            textContent: Type.TString;
+            postUrl: Type.TString;
+            importMode: Type.TUnion<[Type.TLiteral<"self_author">, Type.TLiteral<"other_author">, Type.TLiteral<"copy_contents">]>;
+            embedResponse: Type.TOptional<Type.TObject<{
+                url: Type.TString;
+                authorUrl: Type.TString;
+                authorName: Type.TString;
+                html: Type.TString;
+                width: Type.TOptional<Type.TNumber>;
+                height: Type.TOptional<Type.TUnion<[Type.TNumber, Type.TNull]>>;
+                type: Type.TOptional<Type.TString>;
+                version: Type.TOptional<Type.TString>;
+                providerName: Type.TOptional<Type.TString>;
+                providerUrl: Type.TOptional<Type.TString>;
+                cacheAge: Type.TOptional<Type.TString>;
+            }>>;
+            username: Type.TOptional<Type.TString>;
+        }>, Type.TObject<{
+            argumentTitle: Type.TOptional<Type.TString>;
+            textContent: Type.TString;
+            postUrl: Type.TString;
+            username: Type.TOptional<Type.TString>;
+        }>, Type.TObject<{
+            argumentTitle: Type.TOptional<Type.TString>;
+            textContent: Type.TString;
+        }>]>, Type.TNull]>;
+        platformUsername: Type.TUnion<[Type.TString, Type.TNull]>;
+    }>, Type.TObject<{
+        checksum: Type.TOptional<Type.TString>;
+        descendantChecksum: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
+        combinedChecksum: Type.TOptional<Type.TString>;
+    }>]>;
+    variables: Type.TObject<{
+        variables: Type.TArray<Type.TUnion<[Type.TIntersect<[Type.TObject<{
+            symbol: Type.TString;
+            createdOn: import("../../../schemas/common.js").TDateType;
+            creatorId: Type.TString;
+            claimId: Type.TString;
+            claimVersion: Type.TNumber;
+            argumentId: Type.TString;
+            argumentVersion: Type.TNumber;
+            id: Type.TString;
+        }>, Type.TObject<{
+            checksum: Type.TOptional<Type.TString>;
+            descendantChecksum: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
+            combinedChecksum: Type.TOptional<Type.TString>;
+        }>]>, Type.TIntersect<[Type.TObject<{
+            symbol: Type.TString;
+            createdOn: import("../../../schemas/common.js").TDateType;
+            creatorId: Type.TString;
+            boundPremiseId: Type.TString;
+            boundArgumentId: Type.TString;
+            boundArgumentVersion: Type.TNumber;
+            argumentId: Type.TString;
+            argumentVersion: Type.TNumber;
+            id: Type.TString;
+        }>, Type.TObject<{
+            checksum: Type.TOptional<Type.TString>;
+            descendantChecksum: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
+            combinedChecksum: Type.TOptional<Type.TString>;
+        }>]>]>>;
+        config: Type.TOptional<Type.TUnknown>;
+    }>;
+    premises: Type.TArray<Type.TObject<{
+        premise: Type.TIntersect<[Type.TObject<{
+            createdOn: Type.TOptional<import("../../../schemas/common.js").TDateType>;
+            creatorId: Type.TOptional<Type.TString>;
+            argumentId: Type.TString;
+            argumentVersion: Type.TNumber;
+            role: Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"supporting">]>;
+            title: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
+            id: Type.TString;
+        }>, Type.TObject<{
+            checksum: Type.TOptional<Type.TString>;
+            descendantChecksum: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
+            combinedChecksum: Type.TOptional<Type.TString>;
+        }>]>;
+        rootExpressionId: Type.TOptional<Type.TString>;
+        expressions: Type.TObject<{
+            expressions: Type.TArray<Type.TUnion<[Type.TIntersect<[Type.TObject<{
+                id: Type.TString;
+                argumentId: Type.TString;
+                argumentVersion: Type.TNumber;
+                premiseId: Type.TString;
+                parentId: Type.TUnion<[Type.TString, Type.TNull]>;
+                position: Type.TNumber;
+                checksum: Type.TString;
+                descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
+                combinedChecksum: Type.TString;
+                type: Type.TLiteral<"variable">;
+                variableId: Type.TString;
+            }>, Type.TObject<{
+                createdOn: import("../../../schemas/common.js").TDateType;
+                creatorId: Type.TString;
+            }>, Type.TObject<{
+                operator: Type.TNull;
+            }>]>, Type.TIntersect<[Type.TObject<{
+                id: Type.TString;
+                argumentId: Type.TString;
+                argumentVersion: Type.TNumber;
+                premiseId: Type.TString;
+                parentId: Type.TUnion<[Type.TString, Type.TNull]>;
+                position: Type.TNumber;
+                checksum: Type.TString;
+                descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
+                combinedChecksum: Type.TString;
+                type: Type.TLiteral<"operator">;
+                operator: Type.TUnion<[Type.TLiteral<"not">, Type.TLiteral<"and">, Type.TLiteral<"or">, Type.TLiteral<"implies">, Type.TLiteral<"iff">]>;
+            }>, Type.TObject<{
+                createdOn: import("../../../schemas/common.js").TDateType;
+                creatorId: Type.TString;
+            }>, Type.TObject<{
+                variableId: Type.TNull;
+            }>]>, Type.TIntersect<[Type.TObject<{
+                id: Type.TString;
+                argumentId: Type.TString;
+                argumentVersion: Type.TNumber;
+                premiseId: Type.TString;
+                parentId: Type.TUnion<[Type.TString, Type.TNull]>;
+                position: Type.TNumber;
+                checksum: Type.TString;
+                descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
+                combinedChecksum: Type.TString;
+                type: Type.TLiteral<"formula">;
+            }>, Type.TObject<{
+                createdOn: import("../../../schemas/common.js").TDateType;
+                creatorId: Type.TString;
+            }>, Type.TObject<{
+                variableId: Type.TNull;
+                operator: Type.TNull;
+            }>]>]>>;
+            config: Type.TOptional<Type.TUnknown>;
+        }>;
+        config: Type.TOptional<Type.TUnknown>;
+    }>>;
+    conclusionPremiseId: Type.TOptional<Type.TString>;
+    sources: Type.TOptional<Type.TObject<{
+        variableSourceAssociations: Type.TArray<Type.TUnknown>;
+        expressionSourceAssociations: Type.TArray<Type.TUnknown>;
+    }>>;
+    config: Type.TOptional<Type.TUnknown>;
+}>>>;
+export declare function getVariables(argumentId: string, argumentVersion: number, fetchFn?: typeof fetch, urlPrefix?: string): Promise<import("../../../schemas/common.js").ParsedError<Type.TObject<{
+    errorID: Type.TNumber;
+    errorMessage: Type.TString;
+    statusCode: Type.TNumber;
+}>> | import("../../../schemas/common.js").ParsedSuccess<Type.TArray<Type.TUnion<[Type.TIntersect<[Type.TObject<{
+    claimId: Type.TString;
+    claimVersion: Type.TNumber;
+    id: Type.TString;
+    argumentId: Type.TString;
+    argumentVersion: Type.TNumber;
+    symbol: Type.TString;
+    checksum: Type.TString;
+}>, Type.TObject<{
+    createdOn: import("../../../schemas/common.js").TDateType;
+    creatorId: Type.TString;
+    descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
+    combinedChecksum: Type.TString;
+}>]>, Type.TIntersect<[Type.TObject<{
+    boundPremiseId: Type.TString;
+    boundArgumentId: Type.TString;
+    boundArgumentVersion: Type.TNumber;
+    id: Type.TString;
+    argumentId: Type.TString;
+    argumentVersion: Type.TNumber;
+    symbol: Type.TString;
+    checksum: Type.TString;
+}>, Type.TObject<{
+    createdOn: import("../../../schemas/common.js").TDateType;
+    creatorId: Type.TString;
+    descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
+    combinedChecksum: Type.TString;
+}>]>]>>>>;
+export declare function createVariable(argumentId: string, argumentVersion: number, data: TVariableCreation, fetchFn?: typeof fetch, urlPrefix?: string): Promise<import("../../../schemas/common.js").ParsedError<Type.TObject<{
+    errorID: Type.TNumber;
+    errorMessage: Type.TString;
+    statusCode: Type.TNumber;
+}>> | import("../../../schemas/common.js").ParsedSuccess<Type.TUnion<[Type.TIntersect<[Type.TObject<{
+    claimId: Type.TString;
+    claimVersion: Type.TNumber;
+    id: Type.TString;
+    argumentId: Type.TString;
+    argumentVersion: Type.TNumber;
+    symbol: Type.TString;
+    checksum: Type.TString;
+}>, Type.TObject<{
+    createdOn: import("../../../schemas/common.js").TDateType;
+    creatorId: Type.TString;
+    descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
+    combinedChecksum: Type.TString;
+}>]>, Type.TIntersect<[Type.TObject<{
+    boundPremiseId: Type.TString;
+    boundArgumentId: Type.TString;
+    boundArgumentVersion: Type.TNumber;
+    id: Type.TString;
+    argumentId: Type.TString;
+    argumentVersion: Type.TNumber;
+    symbol: Type.TString;
+    checksum: Type.TString;
+}>, Type.TObject<{
+    createdOn: import("../../../schemas/common.js").TDateType;
+    creatorId: Type.TString;
+    descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
+    combinedChecksum: Type.TString;
+}>]>]>>>;
+export declare function updateVariable(argumentId: string, argumentVersion: number, variableId: string, data: TVariableUpdate, fetchFn?: typeof fetch, urlPrefix?: string): Promise<import("../../../schemas/common.js").ParsedError<Type.TObject<{
+    errorID: Type.TNumber;
+    errorMessage: Type.TString;
+    statusCode: Type.TNumber;
+}>> | import("../../../schemas/common.js").ParsedSuccess<Type.TUnion<[Type.TIntersect<[Type.TObject<{
+    claimId: Type.TString;
+    claimVersion: Type.TNumber;
+    id: Type.TString;
+    argumentId: Type.TString;
+    argumentVersion: Type.TNumber;
+    symbol: Type.TString;
+    checksum: Type.TString;
+}>, Type.TObject<{
+    createdOn: import("../../../schemas/common.js").TDateType;
+    creatorId: Type.TString;
+    descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
+    combinedChecksum: Type.TString;
+}>]>, Type.TIntersect<[Type.TObject<{
+    boundPremiseId: Type.TString;
+    boundArgumentId: Type.TString;
+    boundArgumentVersion: Type.TNumber;
+    id: Type.TString;
+    argumentId: Type.TString;
+    argumentVersion: Type.TNumber;
+    symbol: Type.TString;
+    checksum: Type.TString;
+}>, Type.TObject<{
+    createdOn: import("../../../schemas/common.js").TDateType;
+    creatorId: Type.TString;
+    descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
+    combinedChecksum: Type.TString;
+}>]>]>>>;
+export declare function deleteVariable(argumentId: string, argumentVersion: number, variableId: string, checksum: string, fetchFn?: typeof fetch, urlPrefix?: string): Promise<import("../../../schemas/common.js").ParsedError<Type.TObject<{
+    errorID: Type.TNumber;
+    errorMessage: Type.TString;
+    statusCode: Type.TNumber;
+}>> | import("../../../schemas/common.js").ParsedSuccess<Type.TObject<{
+    deleted: Type.TBoolean;
+}>>>;
+export declare function getVariable(argumentId: string, argumentVersion: number, variableId: string, fetchFn?: typeof fetch, urlPrefix?: string): Promise<import("../../../schemas/common.js").ParsedError<Type.TObject<{
+    errorID: Type.TNumber;
+    errorMessage: Type.TString;
+    statusCode: Type.TNumber;
+}>> | import("../../../schemas/common.js").ParsedSuccess<Type.TUnion<[Type.TIntersect<[Type.TObject<{
+    claimId: Type.TString;
+    claimVersion: Type.TNumber;
+    id: Type.TString;
+    argumentId: Type.TString;
+    argumentVersion: Type.TNumber;
+    symbol: Type.TString;
+    checksum: Type.TString;
+}>, Type.TObject<{
+    createdOn: import("../../../schemas/common.js").TDateType;
+    creatorId: Type.TString;
+    descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
+    combinedChecksum: Type.TString;
+}>]>, Type.TIntersect<[Type.TObject<{
+    boundPremiseId: Type.TString;
+    boundArgumentId: Type.TString;
+    boundArgumentVersion: Type.TNumber;
+    id: Type.TString;
+    argumentId: Type.TString;
+    argumentVersion: Type.TNumber;
+    symbol: Type.TString;
+    checksum: Type.TString;
+}>, Type.TObject<{
+    createdOn: import("../../../schemas/common.js").TDateType;
+    creatorId: Type.TString;
+    descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
+    combinedChecksum: Type.TString;
+}>]>]>>>;
+export { repairArgument } from "./repair.js";
+//# sourceMappingURL=index.d.ts.map