diff options
Diffstat (limited to '')
-rw-r--r-- | dhall/src/core/var.rs | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/dhall/src/core/var.rs b/dhall/src/core/var.rs index 35bff80..0faa091 100644 --- a/dhall/src/core/var.rs +++ b/dhall/src/core/var.rs @@ -67,6 +67,12 @@ impl AlphaVar { alpha: None, } } + pub fn from_var_and_alpha(normal: V<Label>, alpha: usize) -> Self { + AlphaVar { + normal, + alpha: Some(V((), alpha)), + } + } } impl AlphaLabel { |