Module Extr
From Stdlib Require Import Extraction.From Verilog Require Import Algo.
Import Algo.
Extraction Language OCaml.
Set Extraction Output Directory "extraction".
Extract the typing algorithm in the output file "type.ml"
Extraction "type" type.