perf(Extraction): Fix extraction of cast_* from coq-sail - #243

perf(Extraction): Fix extraction of cast_* from coq-sail#243

tperami merged 1 commit into

perf-extraction-monadsrems-project/archsem:perf-extraction-monadsfrom

perf-extraction-coq-sail-castsrems-project/archsem:perf-extraction-coq-sail-castsCopy head branch name to clipboard