Skip to content

Tc: improving error for mistaking fields in a record#3395

Merged
mtzguido merged 3 commits intoFStarLang:masterfrom mtzguido:fieldsAug 23, 2024

Commits

Commits on Aug 23, 2024