Start implementing types

src/lib.rs

@@ -4,6 +4,7 @@ use pest_derive::Parser;
 
 pub mod path;
 pub mod expr;
+pub mod types;
 pub mod report;
 
 #[derive(Parser)]

src/types.rs

@@ -0,0 +1,29 @@
+use crate::path::RzPath;
+
+pub enum TypeExpr {
+    Top,
+    Bottom,
+
+    Bool,
+
+    Int,
+    U(usize, bool),
+    S(usize, bool),
+
+    Arr(Box<TypeExpr>, Box<TypeExpr>),
+    Str(Box<TypeExpr>),
+    // Seq(Box<TypeExpr>),
+
+    And(Vec<TypeExpr>),
+    Or(Vec<TypeExpr>),
+
+    Ref(RzPath),
+
+    Liq(Box<TypeExpr>, Vec<Pred>),
+    Size(Box<TypeExpr>),
+    Val(Value, Box<TypeExpr>),
+}
+
+pub enum Pred { }
+
+pub enum Value { }