refactor: extract Shrinkable to its own non-meta module#76

kim-em merged 1 commit into

mainleanprover-community/plausible:mainfrom

move-shrinkable-out-of-metaleanprover-community/plausible:move-shrinkable-out-of-metaCopy head branch name to clipboard