Support FnParam for closure-typed function parameters in invariants#169

coord-e merged 2 commits into

maincoord-e/thrust:mainfrom

claude/fnparam-closure-type-9yialwcoord-e/thrust:claude/fnparam-closure-type-9yialwCopy head branch name to clipboard