fact: Record Splitter := { string_type_min :> StringLikeMin Char; string_type :> StringLike Char; splits_for : String -> default_production_carrierT -> nat -> nat -> list nat; string_type_properties :> StringLikeProperties Char; splits_for_complete : forall str idx offset len, split_list_is_complete_idx str offset len idx (splits_for str idx offset len) }.
imports: Fiat.Parsers.ContextFreeGrammar.Core Fiat.Parsers.ContextFreeGrammar.SimpleCorrectness Fiat.Parsers.ContextFreeGrammar.PreNotations Fiat.Parsers.ContextFreeGrammar.Carriers