[+] def apply ( pos: Position , replacement: String ) : R

[+] def unapply ( x$1: Patch ) : Patch