Skip to content

Allow specialised extractor to extend dispatch table

Viktor Kuncak requested to merge perf into master

Created by: mantognini

Further changes for faster extraction. This changes are required to allow the same optimisation in stainless.

Merge request reports