diff options
author | Son Ho | 2022-04-21 12:28:44 +0200 |
---|---|---|
committer | Son Ho | 2022-04-21 12:28:44 +0200 |
commit | 029a12e25e1ee883ac98472f2e032b466d765307 (patch) | |
tree | 8f1070dcae74c4fb527a239e444ae1fecfca48fd /src/Collections.ml | |
parent | 66862a29cf023ca4d586479a9690dc4f61d8573c (diff) |
Improve the generation of names for given back values
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions