oplss2024/silva/test.fst
2024-06-04 18:56:00 -04:00

11 lines
110 B
Plaintext

module Test
type re =
| Zero
| One
| Char of int
| Seq of re * re
| Add of re * re
| Star of re