7e1c831 8397e00 7e1c831
1
2
3
4
5
6
From Stdlib Require Import Extraction ExtrOcamlBasic ExtrOcamlNatInt ExtrOcamlZInt. From TH Require Import ExtrNat Net Phys. Extraction Language OCaml. Set Extraction Output Directory "extract". Extraction "physnet.ml" phys_units phys_next nst.
