Skip to content

docs: Add a comment to pathTo mentioning that it might return errorTermTree#15420

Merged
prolativ merged 1 commit intoscala:mainfrom
tanishiking:path-to-comment
Jun 13, 2022
Merged

docs: Add a comment to `pathTo` mentioning that it might return `errorTermTree`#15420
prolativ merged 1 commit intoscala:mainfrom
tanishiking:path-to-comment

Commits