[TIR][Utility] More flexible tir::Substitute arguments - #14251

Merged

kparzysz-quic merged 3 commits into

apache:mainfrom

Lunderberg:flexible_tir_substitute

Mar 23, 2023

Commits on Mar 9, 2023

[TIR][Utility] More flexible tir::Substitute arguments
Lunderberg
committed
d5a05e7

Commits on Mar 10, 2023

fix linting errors
Lunderberg
committed
8ee0bce

Commits on Mar 23, 2023

Fix copy/paste error in docstring
Lunderberg
committed
e0d4f1f