[+] def apply ( ts: TermState , width: Int ) : R

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