What kind of data processing are you interested in? Ideally this should be doable using the public API of the crate so that you don't have to worry about the fancy data structure stuff.
On Fri, Nov 11, 2022 at 10:47 PM David A. Wheeler <[email protected]> wrote: > > > > On Nov 11, 2022, at 2:38 PM, Zheng Fan <[email protected]> wrote: > > > > These days I am looking at the code of metamth-knife, hoping to do some > more data processing based on the existing functions. But as a newbie in > rust, I found the code a little bit hard to grasp, mainly because the > database is stored in a fancy data structure (to improve performance, as > far as I can see), and it is not immediate clear how to process it further. > Is there somewhere I can find a detailed description of the data structure > being used? Thanks in advance. > > Sadly, no. > > Pull requests to fix that would be welcome. I think it might be best to > put them in the code itself > (to increase the likelihood that the code would be updated when the data > structures are modified). > > --- David A. Wheeler > > -- > You received this message because you are subscribed to the Google Groups > "Metamath" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/metamath/2CF94F5C-2D99-4793-956B-E54C487D8C81%40dwheeler.com > . > -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/CAFXXJSvWauNG7tTE3J7KH8-yg0uG_75WP0zQbc4oznK%2BZ87i9A%40mail.gmail.com.
