proposit-core
    Preparing search index...

    Variable CoreExpressionBoundVariableSchemaConst

    CoreExpressionBoundVariableSchema: TObject<
        {
            argumentId: TString;
            argumentVersion: TNumber;
            boundArgumentId: TString;
            boundArgumentVersion: TNumber;
            boundAspect: TUnion<[TLiteral<"statement">, TLiteral<"inference">]>;
            boundExpressionId: TString;
            checksum: TString;
            id: TString;
            symbol: TString;
        },
    > = ...