diff options
author | Nadrieril | 2020-04-05 11:39:58 +0100 |
---|---|---|
committer | Nadrieril | 2020-04-05 11:39:58 +0100 |
commit | 158117e4096f5af571e79e1a33d91f09e7b2cc5d (patch) | |
tree | 6722c8eb2afb6f08882007d9739dae2683b1d195 /dhall/src/semantics/tck/tyexpr.rs | |
parent | 46cb68809cdda92114adb2593b13a43687306786 (diff) |
Rename Options to Deserializer
Diffstat (limited to 'dhall/src/semantics/tck/tyexpr.rs')
0 files changed, 0 insertions, 0 deletions