checking for injections, projections, rm vesitigial App

1 files changed, 0 insertions, 3 deletions

diff --git a/src/ast.rs b/src/ast.rs
index 1b34fc3..f517b37 100644
--- a/src/ast.rs
+++ b/src/ast.rs
@@ -126,9 +126,6 @@ pub enum Element {
         element: Box<Element>,
     },
 
-    #[display("{_0} {_1}")]
-    App(Box<Element>, Box<Element>),
-
     #[display("case {} of {{ {} }}", scrutinee, arms.iter().map(|a| a.to_string()).collect::<Vec<_>>().join(" | "))]
     Case {
         scrutinee: Box<Element>,