Library Extraction

Require Import Benchmark.

Recursive Extraction Library Benchmark.