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