constVar function

ConstVar constVar(
  1. String name,
  2. Sort sort
)

Creates a ConstVar variable expression.

Implementation

ConstVar constVar(String name, Sort sort) =>
    ConstVar(Sym(name), sort).declare();