-
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).
6cc5300b
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).