anchor.diff:          | [] -> failwith "Module name not found"
           | _ -> failwith "Multiple module names found in module"
   
  +// Takes in module's declarations and finds the types in the module
   let typesInModule (Module decs) = 
       let typeDecs = List.filter (fun dec -> match dec with
                                                  | (_, _, RecordDec _) -> true
  
positive.code:                                           | (_, _, OpenDec (_, _, names)) -> names
                                            | _ -> failwith "This should never happen") opens)
  
  let exportsInModule (Module decs) =
      let exports = List.filter (fun dec -> match dec with
                                                | (_, _, ExportDec _) -> true
  
negative.code:                              | (_, _, UnionDec {name=name}) -> name
                               | _ -> failwith "This should never happen") typeDecs
  
  // Takes in module's declarations and finds the opens (of outher modules) in the module
  let opensInModule (Module decs) =
      let opens = List.filter (fun dec -> match dec with
                                              | (_, _, OpenDec _) -> true
  