diff options
author | Nadrieril | 2019-08-16 19:47:36 +0200 |
---|---|---|
committer | Nadrieril | 2019-08-16 19:51:32 +0200 |
commit | e0f5216215ccb7a4df85d80e11dd265cdb52a44f (patch) | |
tree | 64215976bbc587cc014a60963e206b0bbb625f4d /dhall/src/core/var.rs | |
parent | 45fb07f74f19919f742be6fe7793dc72d4022f26 (diff) |
s/Value/ValueF/
Diffstat (limited to '')
-rw-r--r-- | dhall/src/core/var.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dhall/src/core/var.rs b/dhall/src/core/var.rs index becd653..296e968 100644 --- a/dhall/src/core/var.rs +++ b/dhall/src/core/var.rs @@ -12,7 +12,7 @@ pub struct AlphaVar { } // Exactly like a Label, but equality returns always true. -// This is so that Value equality is exactly alpha-equivalence. +// This is so that ValueF equality is exactly alpha-equivalence. #[derive(Clone, Eq)] pub struct AlphaLabel(Label); |