Compiler.Lexer

38def isWhitespace =
39  (lambda unrestricted byte : Byte .
40    (nat-eliminate
41      (lambda unrestricted matchedSpace : Nat . Nat)
42      (nat-eliminate
43        (lambda unrestricted matchedLineFeed : Nat . Nat)
44        (nat-eliminate
45          (lambda unrestricted matchedCarriageReturn : Nat . Nat)
46          (byte-equal byte (byte 9))
47          (lambda unrestricted predecessor : Nat .
48            (lambda unrestricted induction : Nat . (succ zero)))
49          (byte-equal byte (byte 13)))
50        (lambda unrestricted predecessor : Nat .
51          (lambda unrestricted induction : Nat . (succ zero)))
52        (byte-equal byte (byte 10)))
53      (lambda unrestricted predecessor : Nat . (lambda unrestricted induction : Nat . (succ zero)))
54      (byte-equal byte (byte 32))))