Quelle  primitive_tokens.out   Sprache: unbekannt

1234
     : nat
Nat.add 1 2
     : nat
match 1 with
| 1 => true
| _ => false
end
     : bool
{| field := 7 |}
     : test
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
Nat.add (S O) (S (S O))
     : nat
match S O with
| S O => true
| _ => false
end
     : bool
{| field := S (S (S (S (S (S (S O)))))) |}
     : test