Code

Fix parametric extension methods#1490

Code

Merged

vkuncak merged 1 commit intoepfl-lara:mainepfl-lara/stainless:mainfrom mario-bucev:fix-parametric-ext-methodmario-bucev/stainless:fix-parametric-ext-methodCopy head branch name to clipboardDec 5, 2023

+41-1

Commits

Commits on Dec 4, 2023

• Fix parametric extension methods

  mario-bucev

  committed
  a48ff73

  Copy full SHA for a48ff73