Skip to content

fix: BoundVisitor should accept Bound instead of BoundTerm - #375

Merged
wgtmac merged 1 commit into
apache:mainfrom
wgtmac:fix_bound_visitor
Dec 1, 2025
Merged

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

Commits

Commits on Dec 1, 2025