proposit-core
    Preparing search index...

    Variable CoreFormulaExpressionSchemaConst

    CoreFormulaExpressionSchema: TObject<
        {
            argumentId: TString;
            argumentVersion: TNumber;
            checksum: TString;
            combinedChecksum: TString;
            descendantChecksum: TUnion<[TString, TNull]>;
            id: TString;
            parentId: TUnion<[TString, TNull]>;
            position: TNumber;
            premiseId: TString;
            type: TLiteral<"formula">;
        },
    > = ...