VariableBindings

case class VariableBindings(bindings: Map[ITID, Seq[Type]])
Companion:
object
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Value members

Concrete methods

def add(dri: ITID, typ: Type): VariableBindings

Inherited methods

def productElementNames: Iterator[String]
Inherited from:
Product
def productIterator: Iterator[Any]
Inherited from:
Product