diff options
author | Nadrieril | 2019-08-20 18:03:59 +0200 |
---|---|---|
committer | Nadrieril | 2019-08-20 18:03:59 +0200 |
commit | 4f1f37cfc115510500e83d2dfbfa8ed7ddeae74a (patch) | |
tree | 77c743b9c55afbbb5966a3c90614c6d3d257813d /dhall/src/phase/parse.rs | |
parent | a506632b27b287d1bf898e2f77ae09a56902474c (diff) |
Introduce a new enum to store either a Value or a ValueF
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions