fact: Definition string_rep := ADTsignature { Constructor "new" : String -> rep, Method "to_string" : rep -> rep * String, Method "char_at_matches" : rep * (nat : Type) * (Char -> bool) -> rep * bool, Method "get" : rep * nat -> rep * Char, Method "length" : rep -> rep * nat, Method "take" : rep * (nat : Type) -> rep, Method "drop" : rep * (nat : Type) -> rep, Method "splits" : rep * production_carrierT * (nat : Type) * (nat : Type) -> rep * (list nat) }.
imports: Fiat.ADTNotation.BuildADT Fiat.ADTNotation.BuildADTSig Fiat.ADT.ComputationalADT Fiat.Parsers.ParserInterface Fiat.Parsers.ContextFreeGrammar.PreNotations