This is more or less a full rewrite of the existing bindings that I implemented for our company's projects in the last months.
It is meant for the latest ReScript (10.1.2) + @rescript/react 0.11.0 in JSX4 mode.

It

• supports JSX4 (exclusively, although just the type definition for screenProps would need to be modified for JSX3)
• uses records with optional fields instead of @obj creation functions for all options/config/param objects
• has less runtime (zero cost except for a little glue for the various Navigator.Make functions)
• is more complete (I went through the props/params for the various navigators in the React Navigation docs and added lots of missing stuff. I am sure that there is still more missing stuff remaining though.)
• is much simpler to use than the existing bindings. The existing ones are unnecessarily complicated by a params type as an argument to the Make functor - which IMHO is of no use at all and actually incorrect, as not all screens in a stack navigator can be assumed to have the same params shape.

I currently do not have time for documentation or for a comprehensive example, so I am just putting this out there like it is.