fact: Definition make_all_single_splits (str : String) (offset len : nat) : list nat := len::up_to len.
imports: Fiat.Common.Coq__8_4__8_5__Compat Coq.Lists.List Coq.ZArith.ZArith Fiat.Parsers.ContextFreeGrammar.Core Fiat.Parsers.ContextFreeGrammar.PreNotations Fiat.Parsers.BaseTypes Fiat.Parsers.CorrectnessBaseTypes Fiat.Parsers.Splitters.RDPList Fiat.Parsers.MinimalParseOfParse Fiat.Common Fiat.Common.List.Operations Fiat.Common.List.ListFacts