Rename TyExpr to Tir

1 files changed, 2 insertions, 4 deletions

diff --git a/dhall/src/lib.rs b/dhall/src/lib.rs
index 144cac5..3fbc251 100644
--- a/dhall/src/lib.rs
+++ b/dhall/src/lib.rs
@@ -22,9 +22,7 @@ use crate::error::{EncodeError, Error, TypeError};
 use crate::semantics::parse;
 use crate::semantics::resolve;
 use crate::semantics::resolve::ImportRoot;
-use crate::semantics::{
-    typecheck, typecheck_with, Hir, TyExpr, Value, ValueKind,
-};
+use crate::semantics::{typecheck, typecheck_with, Hir, Tir, Value, ValueKind};
 use crate::syntax::binary;
 use crate::syntax::{Builtin, Expr};
 
@@ -44,7 +42,7 @@ pub struct Resolved(Hir);
 
 /// A typed expression
 #[derive(Debug, Clone)]
-pub struct Typed(TyExpr);
+pub struct Typed(Tir);
 
 /// A normalized expression.
 ///