No, that’s not the same. In my case, the module B doesn’t define a type t, but in your case it must.
↧
No, that’s not the same. In my case, the module B doesn’t define a type t, but in your case it must.