Library VerifiedExtraction.extract_extraction

From Malfunction.Plugin Require Import Extract.
From Malfunction Require Import Pipeline.

Set Verified Extraction Build Directory "_build".

Set Warnings "-primitive-turned-into-axiom".

Verified Extraction -fmt compile_malfunction_gen "compile_malfunction.mlf".