fact: Definition isWhite (c : ascii) : bool := let n := nat_of_ascii c in orb (orb (beq_nat n 32) (beq_nat n 9)) (orb (beq_nat n 10) (beq_nat n 13)).
imports: Coq.Strings.String Coq.Strings.Ascii Coq.Arith.Arith Coq.Arith.EqNat Coq.Lists.List Maps Imp