call out construct_prospective_leaf invariant

This commit is contained in:
Qyriad 2024-09-05 15:39:24 -06:00
commit 1554eba3ee

2
series

@ -1 +1 @@
Subproject commit 394b8db0063043fb2dec7f000b9f975d9b665fb3
Subproject commit f0eaf046e20e7721dad3a75dc54b5df1b9595fab