Quellcodebibliothek
Statistik
Leitseite
products
/
Sources
/
formale Sprachen
/
C
/
Linux
/
drivers
/
infiniband
/ (
Linux Kernel
Version 6.17.9
©
) Datei vom 24.10.2025 mit Größe 3 kB
Bilddatei
primitive_tokens.out
products/Sources/formale Sprachen/Roqc/test-suite/output/primitive_tokens.out
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
2026-08-25