menu
fixed_z3 package
documentation
z3_ffi.dart
Z3Lib
ungetc method
ungetc method
dark_mode
light_mode
ungetc
method
int
ungetc
(
int
_Character
,
Pointer
<
FILE
>
_Stream
)
Implementation
int ungetc( int _Character, ffi.Pointer<FILE> _Stream, ) { return _ungetc( _Character, _Stream, ); }
fixed_z3 package
documentation
z3_ffi
Z3Lib
ungetc method
Z3Lib class