We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent ac44773 commit 1d1a050Copy full SHA for 1d1a050
src/ty-fold.md
@@ -1,6 +1,6 @@
1
# `TypeFoldable` and `TypeFolder`
2
3
-In [a previous chapter], we discussed instantiating binders. This involves looking at everything inside of a `Early/Binder`
+In [a previous chapter], we discussed instantiating binders. This involves looking at everything inside of a `Early(Binder)`
4
to find any usages of the bound vars in order to replace them. Binders can wrap an arbitrary Rust type `T` not just a `Ty` so
5
how do we implement the `instantiate` methods on the `Early/Binder` types.
6
0 commit comments