From Stdlib Require Import Extraction ExtrOcamlBasic ExtrOcamlNatInt ExtrOcamlZInt.
From TH Require Import ExtrNat StoredFast.
Extraction Language OCaml.
Set Extraction Output Directory "extract".
Extraction "storednet.ml" stored_bits_lin.