in hegel PBTs, use a discriminant; also clean up proptest-regressions - #17

in hegel PBTs, use a discriminant; also clean up proptest-regressions#17

sunshowers merged 1 commit into

mainsunshowers-code/buf-list:mainfrom

discriminantsunshowers-code/buf-list:discriminantCopy head branch name to clipboard