test-suite/output/primitive_tokens.out


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29

"foo"
     : string
1234
     : nat
String (Ascii.Ascii false true true false false true true false)
  (String (Ascii.Ascii true true true true false true true false)
     (String (Ascii.Ascii true true true true false true true false)
        EmptyString))
     : string
S
  (S
     (S
        (S
           (S
              (S
                 (S
                    (S
                       (S
                          (S
                             (S
                                (S
                                   (S
                                      (S
                                         (S
                                            (S
                                               (S
                                                 (S
                                                 (S (S (S (S (S (S ...)))))))))))))))))))))))
     : nat