diff options
| author | Chimrod <> | 2023-10-09 13:25:59 +0200 |
|---|---|---|
| committer | Chimrod <> | 2023-10-18 09:49:47 +0200 |
| commit | 4b47c572fc7122154813c8bb5da477c0f152f002 (patch) | |
| tree | 40efe19dad85fda1318c70904d30aaf97a917351 /lib/syntax/tree.ml | |
| parent | c2f87ff1e6e5676968804cd50b86fc2f0f9ad672 (diff) | |
Added an interface for the type_of syntax module
Diffstat (limited to 'lib/syntax/tree.ml')
0 files changed, 0 insertions, 0 deletions