menu
fixed_z3 package
documentation
z3_ffi.dart
Z3Lib
rewind method
rewind method
dark_mode
light_mode
rewind
method
void
rewind
(
Pointer
<
FILE
>
_Stream
)
Implementation
void rewind( ffi.Pointer<FILE> _Stream, ) { return _rewind( _Stream, ); }
fixed_z3 package
documentation
z3_ffi
Z3Lib
rewind method
Z3Lib class