1) In all generality,will work if you haven't defined `module type B` or if `BI` exports other types (say u) and you need to preserve equalities (BI.u = B.u).
include (BI : module type of struct include BI end with type t := t)2) Changes have been made to the module system in the trunk version of OCaml. The original code should be accepted without any change.On Thu, Nov 29, 2018 at 10:03 AM Danny Gratzer <danny.gratzer@gmail.com> wrote:Hello,Perhaps I'm overlooking something but replacinginclude BIwithinclude (BI : B with type t := t)seems like a reasonable fix to me.Danny