menu
z3 package
documentation
z3.dart
BoundVar
build method
build method
dark_mode
light_mode
build
method
@
override
Z3_ast
build
(
Context
c
)
override
Implementation
@override Z3_ast build(Context c) => c._z3.mk_bound(index, c._createSort(sort));
z3 package
documentation
z3
BoundVar
build method
BoundVar class