menu
z3 package
documentation
z3.dart
Registry<H extends Object, P extends Pointer<NativeType>>
finalizer property
finalizer property
dark_mode
light_mode
finalizer
property
Finalizer
<
P
>
finalizer
late
final
Implementation
late final finalizer = Finalizer<P>((v) { if (from.remove(v) != null) { release(v); } });
z3 package
documentation
z3
Registry<H extends Object, P extends Pointer<NativeType>>
finalizer property
Registry class