final object TermInfo
extends Function2

Constructors

Members

[+] def apply ( ts: TermState , width: Int ) : R
[+] def unapply ( x$1: TermInfo ) : TermInfo