let partition_of s = s.p