Interpret arity of uncurried explicitly.#5795
Merged
cristianoc merged 2 commits intodirect_uncurry_fundef_encodingfrom Nov 10, 2022
Merged
Interpret arity of uncurried explicitly.#5795cristianoc merged 2 commits intodirect_uncurry_fundef_encodingfrom
cristianoc merged 2 commits intodirect_uncurry_fundef_encodingfrom