From: Kim Nguyễn <kn@lri.fr>
Date: Mon, 24 Sep 2012 16:25:40 +0000 (+0200)
Subject: Refactor the code to have a unique place for signature definition.
X-Git-Tag: v0.1~200
X-Git-Url: http://git.nguyen.vg/gitweb/?a=commitdiff_plain;h=f5d90fb688bc1a9b29815fc33c369856e6c51a67;hp=f5d90fb688bc1a9b29815fc33c369856e6c51a67;p=tatoo.git

Refactor the code to have a unique place for signature definition.
Re-architecture the code to have all signatures in the sigs.ml module.
Any signature which occurs at least twice in the code (e.g. in a.ml
and corresponding a.mli) is put in a module A in Sigs. The signature
can the be included in a.ml and its 'module type of' can be included
in a.mli.

private signatures can stay in the .ml files where they appear.
---