> 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.
