case class TermInfo

Constructors

TermInfo ( ts: TermState , width: Int )

Members

[+] val ts : TermState
[+] val width : Int
[+] def _1 : T1
[+] def _2 : T2
[+] def copy ( ts: TermState , width: Int ) : TermInfo
[+] def copy$default$1 : TermState
[+] def copy$default$2 : Int