Require Import Verilog.

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