-
Danil authored
Add a prefix to avoid clashes on extraction. Ad-hoc removal of constuctor arguments (inductive definitions) on extraction to Liquidity. A workaround for fetching dependencies (by Jakob).
07cc3b76
Add a prefix to avoid clashes on extraction. Ad-hoc removal of constuctor arguments (inductive definitions) on extraction to Liquidity. A workaround for fetching dependencies (by Jakob).