tyFlow v0.16075 about bind search

[feylor]

I don't know much about the principle of bind search, please explain or provide a simple example file? thank you very much!