fix(hax-lib): Fix refinement macro in presence of generics.#2047
Draft
maximebuyse wants to merge 1 commit into
Draft
fix(hax-lib): Fix refinement macro in presence of generics.#2047maximebuyse wants to merge 1 commit into
maximebuyse wants to merge 1 commit into
