diff options
Diffstat (limited to 'dhall/src/expr.rs')
| -rw-r--r-- | dhall/src/expr.rs | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/dhall/src/expr.rs b/dhall/src/expr.rs index a548d32..6048928 100644 --- a/dhall/src/expr.rs +++ b/dhall/src/expr.rs @@ -46,6 +46,13 @@ pub(crate) struct Typed<'a>( derive_other_traits!(Typed); #[derive(Debug, Clone)] +pub(crate) struct PartiallyNormalized<'a>( + pub(crate) crate::normalize::WHNF, + pub(crate) Option<Type<'static>>, + pub(crate) PhantomData<&'a ()>, +); + +#[derive(Debug, Clone)] pub(crate) struct Normalized<'a>( pub(crate) SubExpr<X, X>, pub(crate) Option<Type<'static>>, |