FEAT: Align C++ and Python type params for AbstractValue, IntervalValue#64

hanyuone wants to merge 2 commits into

SVF-tools:mainSVF-tools/SVF-Python:mainfrom

hanyuone:ai-typecheckhanyuone/SVF-Python:ai-typecheckCopy head branch name to clipboard