8cfe9fa 8397e00 8cfe9fa
1
2
3
4
5
6
From Stdlib Require Import Extraction ExtrOcamlBasic ExtrOcamlNatInt ExtrOcamlZInt. From TH Require Import ExtrNat Net Host. Extraction Language OCaml. Set Extraction Output Directory "extract". Extraction "hostnet.ml" host_units host_next nH.
