Skip to content

feat: add PartialSmt::from/to_parts to allow for serialization impl#698

Draft
drahnr wants to merge 1 commit intonextfrom
bernhard-partial-smt-from-to-parts
Draft

feat: add PartialSmt::from/to_parts to allow for serialization impl#698
drahnr wants to merge 1 commit intonextfrom
bernhard-partial-smt-from-to-parts

Commits

Commits on Dec 8, 2025