fact: Definition classifyChar (c : ascii) : chartype := if isWhite c then white else if isAlpha c then alpha else if isDigit c then digit else other.
imports: Coq.Strings.String Coq.Strings.Ascii Coq.Arith.Arith Coq.Arith.EqNat Coq.Lists.List Maps Imp