menu
z3 package
documentation
z3_ffi.dart
errno_t typedef
errno_t typedef
dark_mode
light_mode
errno_t
typedef
errno_t
=
Int
Implementation
typedef errno_t = ffi.Int;
z3 package
documentation
z3_ffi
errno_t typedef
z3_ffi library