Is there any way to "depend" on an interface file from a dependency?

It’s weird title framing and I apologise, let me express with more words:

The context here is I want to make sure I’m implementing the same interface as a dependency and would love to depend (or copy/sync/whatever method) on the mli file either given by the library or the cmi itself. This way I will be sure that my implementation type-checks to it.

The only “rule” is that I don’t want to change the library core for this particular case.

I tried copying the cmi file over, but with no much success. Do you have any other idea or solid methodology here?

Thanks

6 posts - 4 participants

Read full topic