BoundVar constructor

BoundVar(int index, Sort sort)

Implementation

BoundVar(this.index, this.sort);