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.
-- 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/a6a0fa7f-1cb4-4b55-aa30-40f23275d3b9n%40googlegroups.com.
