menu
z3 package
documentation
z3_ffi.dart
Z3Lib
getchar method
getchar method
dark_mode
light_mode
getchar
method
int
getchar
(
)
Implementation
int getchar() { return _getchar(); }
z3 package
documentation
z3_ffi
Z3Lib
getchar method
Z3Lib class