1 title: duplicate interface definitions
4 last modified: 2012-04-24 09:50:19+0200
5 date: 2012-04-24 09:50:19+0200
7 assigned to: Kim Nguyễn
9 -- opened by Kim Nguyễn on 2012-04-24 09:50:19+0200
11 Problem description: Interfaces are duplicated all over the place:
13 * in the corresponding .mli
14 Common signature such as Hcons.S should be included too instead of
15 duplicated (but need OCaml 3.12 := to do that cleanly).
19 Proposed solution: put everything in Sigs.mli and include from there.