[+] def apply ( partition: Partition [ A ] ) : Partitioned [ A ]

[+] def unapply ( x$1: Partitioned [ A ] ) : Partitioned [ A ]