fact: Fixpoint Inb {sz} (w: @Word.word sz) seq := match seq with | nil => false | cons w' tl => if Word.weqb w w' then true else Inb w tl end.
imports: CertifiedExtraction.Core CertifiedExtraction.FacadeUtils CertifiedExtraction.StringMapUtils CertifiedExtraction.Extraction.Internal CertifiedExtraction.Extraction.Extraction CertifiedExtraction.Benchmarks.Any Coq.NArith.NArith Coq.Program.Basics