menu
fixed_z3 package
documentation
z3_ffi.dart
Z3Lib
getwchar method
getwchar method
dark_mode
light_mode
getwchar
method
int
getwchar
(
)
Implementation
int getwchar() { return _getwchar(); }
fixed_z3 package
documentation
z3_ffi
Z3Lib
getwchar method
Z3Lib class