diff options
| author | Son Ho | 2021-12-01 18:04:08 +0100 |
|---|---|---|
| committer | Son Ho | 2021-12-01 18:04:08 +0100 |
| commit | 3562ff88d2c65d018b473fc2fb07359f95e6b2f9 (patch) | |
| tree | d071ffc857fc0c59c7413f6d05850b76bbfa23f2 /dune-project | |
| parent | c943e63156ebe2df4f0819ecbb4597966e116868 (diff) | |
Merge the ADTs, tuples and assumed types in the type and value
definitions
Diffstat (limited to 'dune-project')
0 files changed, 0 insertions, 0 deletions