In this case, it seems that B has a value of type A.t, rather than containing a definition of t itself.
↧
Module types for multi-argument functors
↧
In this case, it seems that B has a value of type A.t, rather than containing a definition of t itself.