Closed R1kM closed 3 weeks ago
Follow-up of #462 , addresses https://github.com/FStarLang/karamel/pull/462#discussion_r1723654710
Follow-up of #462 , addresses https://github.com/FStarLang/karamel/pull/462#discussion_r1723654710