ConstVar constructor

ConstVar(Sym name, Sort sort)

Implementation

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