Skip to content

Tc: binder attributes should not trigger instantiations#3761

Merged
mtzguido merged 1 commit intoFStarLang:masterfrom mtzguido:fix_imp_instFeb 15, 2025
+7-2

Commits

Commits on Feb 15, 2025