jextract generates functional interfaces for function pointer types.
These interfaces are not always needed however [1]. We should add an option for filtering these interfaces.
[1]: https://mail.openjdk.org/pipermail/jextract-dev/2023-April/000740.html
These interfaces are not always needed however [1]. We should add an option for filtering these interfaces.
[1]: https://mail.openjdk.org/pipermail/jextract-dev/2023-April/000740.html