path: root/extraction/Extraction.v

Require Import Verilog.

Cd "src".
Separate Extraction Verilog.nat_to_value Verilog.value_to_nat.