boundVar function

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

Creates a de-Bruijn indexed BoundVar expression for use in quantifiers.

Implementation

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