let max_constant_partition_size (sorts: sorts) : int =
  sorts.max_constant_partition_size