Z3Lib.fromLookup constructor

Z3Lib.fromLookup(
  1. Pointer<T> lookup<T extends NativeType>(
    1. String symbolName
    )
)

The symbols are looked up with lookup.

Implementation

Z3Lib.fromLookup(
    ffi.Pointer<T> Function<T extends ffi.NativeType>(String symbolName)
        lookup)
    : _lookup = lookup;