19:20 <pngl> Is it possible for two modules to share an abstract type in their interface, but to both have access to the concrete type in their defintions? For instance `module A : sig type s end`, `module B : sig type s = A.s`, but internally both manipulate the same concrete type (say a record).

19:35 <thizanne> pngl: put these modules inside another module M

19:37 <thizanne> or just define the type outside and don't say in A and B that they manipulate it

19:40 <thizanne> http://paste.awesom.eu/0ZXp pngl

21:04 <pngl> thizanne: thanks i'm going to try this! I don't understand why it doesn't work if the type is defined in A though.