fix: BoundVisitor should accept Bound instead of BoundTerm#375
Merged
wgtmac merged 1 commit intoapache:mainfrom Dec 1, 2025
Merged
fix: BoundVisitor should accept Bound instead of BoundTerm#375wgtmac merged 1 commit intoapache:mainfrom
wgtmac merged 1 commit intoapache:mainfrom