menu
z3 package
documentation
z3_ffi.dart
Z3Lib
perror method
perror method
dark_mode
light_mode
perror
method
void
perror
(
Pointer
<
Char
>
_ErrorMessage
)
Implementation
void perror( ffi.Pointer<ffi.Char> _ErrorMessage, ) { return _perror( _ErrorMessage, ); }
z3 package
documentation
z3_ffi
Z3Lib
perror method
Z3Lib class