fact: Definition length_result := lattice_for nat.
imports: Fiat.Common.Coq__8_4__8_5__Compat Coq.Init.Wf Coq.Arith.Wf_nat Coq.Lists.List Coq.Strings.String Coq.ZArith.ZArith Fiat.Parsers.ContextFreeGrammar.Core Fiat.Parsers.ContextFreeGrammar.PreNotations Fiat.Parsers.ContextFreeGrammar.Precompute Fiat.Parsers.StringLike.Properties Fiat.Common Fiat.Common.NatFacts Fiat.Parsers.Splitters.RDPList Fiat.Parsers.BaseTypes Fiat.Parsers.ContextFreeGrammar.Fix.FromAbstractInterpretationDefinitions Fiat.Parsers.ContextFreeGrammar.Fix.FromAbstractInterpretation Fiat.Parsers.ContextFreeGrammar.Fix.Fix