-
Type:
Bug
-
Resolution: Won't Fix
-
Priority:
P4
-
None
-
Affects Version/s: repo-panama
-
Component/s: tools
-
generic
-
generic
jextract: revisit C type annotation generated for function pointers