ConstVar constructor

ConstVar(
  1. Sym name,
  2. Sort sort
)

Implementation

ConstVar(Sym name, Sort sort) : super._(Func(name, [], sort), []);