let constants_partition (sorts: sorts) =
  sorts.constants_partition