Skip to content

snap after F* change, one less unit arg in extracted ocaml#292

Merged
mtzguido merged 1 commit intoFStarLang:mainfrom mtzguido:fixDec 19, 2024
+3-4

Commits