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