1 files changed, 4 insertions, 0 deletions
diff --git a/src/types.rs b/src/types.rs
index 792965c2..925efdbf 100644
--- a/src/types.rs
+++ b/src/types.rs
@@ -32,6 +32,9 @@ pub struct Module {
     pub parent_id: Option<ModuleId>,
     // Just for convenience
     pub children_ids: Vec<ModuleId>,
+    /// Types that must be substituted in this module,
+    /// in the form original_name -> substituted_type
+    pub translations: HashMap<String, Global>,
 }
 
 impl Module {
@@ -41,6 +44,7 @@ impl Module {
             globals: vec![],
             parent_id: parent_id,
             children_ids: vec![],
+            translations: HashMap::new(),
         }
     }