Skip to content

Fix get_val_with_witness at an owned zipper's root - #132

Merged
luketpeterson merged 1 commit into
Adam-Vandervorst:masterfrom
imlvts:fix/owned-zipper-val-with-witness
Sep 25, 2026
Merged

Fix get_val_with_witness at an owned zipper's root#132
luketpeterson merged 1 commit into
Adam-Vandervorst:masterfrom
imlvts:fix/owned-zipper-val-with-witness

Commits

Commits on Sep 23, 2026