ok apparently @inline works with functions indeed!
As you can see in this example, given the annotation is only present in the .res file, it’s only inlined inside the module, not if you use in outside of it.
If you want to inline things outside of the module, you should add @inline to the .resi file too.