path: root/extraction/Extraction.v

From CoqUp Require Import Verilog.

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