Skip to content

Added extractor C, to match over expressions of type ADT.

Viktor Kuncak requested to merge constructor-extractor into master

Created by: redelmann

Merge request reports