Big cleanup in OpamTypes #1206

Merged
merged 2 commits into from Mar 3, 2014
Commits on Mar 3, 2014
  1. Big cleanup in OpamTypes

    AltGr committed Feb 28, 2014
    the everywhere-opened module used to contain lots of various stuff. Now:
    * it contains only types, so no duplication between .ml / .mli is needed
    * utility functions have been moved to OpamTypesBase
    * Action resolution modules and functors have been moved to their own
      modules, with a much cleaner interface. The two instances (with OPAM and CUDF modules)
      are also a bit easier to distinguish and understand (OpamSolver converts between
      the two)