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