fact: Definition tokenize (s : string) : list string := map string_of_list (tokenize_helper white [] (list_of_string s)).
imports: Coq.Strings.String Coq.Strings.Ascii Coq.Arith.Arith Coq.Arith.EqNat Coq.Lists.List Maps Imp