perf(Extraction): Inline monadic wrapper in extraction - #242

perf(Extraction): Inline monadic wrapper in extraction#242

tperami wants to merge 1 commit into

perf-extraction-bvrems-project/archsem:perf-extraction-bvfrom

perf-extraction-monadsrems-project/archsem:perf-extraction-monadsCopy head branch name to clipboard