title: duplicate interface definitions
status: OPEN
reported by: 
last modified: 2012-04-24 09:50:19+0200
date: 2012-04-24 09:50:19+0200
author: Kim Nguyễn
assigned to: Kim Nguyễn

-- opened by Kim Nguyễn on 2012-04-24 09:50:19+0200

Problem description: Interfaces are duplicated all over the place:
* in the .ml
* in the corresponding .mli
Common signature such as Hcons.S should be included too instead of
duplicated (but need OCaml 3.12 := to do that cleanly).

How to reproduce: /

Proposed solution: put everything in Sigs.mli and include from there.