Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[PR] Fix Documentation: example code error in docs/lang/depth-subtyping
Summary: This fixes an error in the docs, specifically the example code in the depth-subtyping section. Closes facebook#4415 Differential Revision: D5501874 Pulled By: samwgoldman fbshipit-source-id: bd2df3aa5b3681dc000292a4421286585089d77e
- Loading branch information