[declare] Use Recthm.t in mutual analysis functions

This removes so ad-hoc tuples, and encapsulates the API a bit.

It is a step towards:

- Pushing some `to_constr` from the upper layers to the declare code
  itself [which will remove code duplication, in particular making the
  interactive / non-interactive path more uniform, and make the API
  easier to use]

- Further refactoring of the constant information, as `Recthm.t`
  contains almost now what we would call "primitive constant
  information"; thus we will be able to distinguish next better between
  mutual declarations and single-constant ones.

0 files changed, 0 insertions, 0 deletions