summaryrefslogtreecommitdiff
path: root/tests/misc/External.Opaque.fsti (follow)
Commit message (Expand)AuthorAgeFilesLines
* Regenerate the F* files for the external.rs testSon Ho2022-05-041-2/+2
* Commit the translation of external.rsSon Ho2022-03-041-0/+25