Variable CoreOperatorExpressionSchemaConst

CoreOperatorExpressionSchema: TObject<
    {
        argumentId: TString;
        argumentVersion: TNumber;
        checksum: TString;
        combinedChecksum: TString;
        descendantChecksum: TUnion<[TString, TNull]>;
        id: TString;
        operator: TUnion<
            [
                TLiteral<"not">,
                TLiteral<"and">,
                TLiteral<"or">,
                TLiteral<"implies">,
                TLiteral<"iff">,
            ],
        >;
        parentId: TUnion<[TString, TNull]>;
        position: TNumber;
        premiseId: TString;
        type: TLiteral<"operator">;
    },
> = ...