let
c_of s =
Partition
.c_of s.p