Skip to content

fix: BoundVisitor should accept Bound instead of BoundTerm#375

Merged
wgtmac merged 1 commit intoapache:mainfrom
wgtmac:fix_bound_visitor
Dec 1, 2025
Merged

fix: BoundVisitor should accept Bound instead of BoundTerm#375
wgtmac merged 1 commit intoapache:mainfrom
wgtmac:fix_bound_visitor

Commits

Commits on Dec 1, 2025