Library Malfunction.Examples.simple.test_bootstrap

From VerifiedExtraction Require Import Extraction.
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_bootstrap.mlf".