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