boundVar function

BoundVar boundVar(
  1. int index,
  2. Sort sort
)

Implementation

BoundVar boundVar(int index, Sort sort) => BoundVar(index, sort).declare();