- (* gets the old imperative coercion DB (list format) *)
-val index_old_db: CoercDb.coerc_db -> (#status as 'status) -> 'status
-
+(* NOTE: the name of the coercion is used to sort coercions, thus
+ * two coercions matching the same number of symbols are sorted
+ * according to their name *)