menu
z3 package
documentation
z3.dart
ConstVar
ConstVar constructor
ConstVar constructor
dark_mode
light_mode
ConstVar
constructor
ConstVar
(
Sym
name
,
Sort
sort
)
Implementation
ConstVar(Sym name, Sort sort) : super._(Func(name, [], sort), []);
z3 package
documentation
z3
ConstVar
ConstVar constructor
ConstVar class