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