anchor.diff:                                            | (_, _, LetDec {varName=name}) -> [name]
                                             | _ -> failwith "This should never happen") namedDecs)
   
  +// Takes in module's declarations and finds the value declaratin names in the module
   let valueDecsInModule (Module decs) =
       let namedDecs = List.filter (fun dec -> match dec with
                                                   | (_, _, FunctionDec _) -> true
  
positive.code:                              | (_, _, UnionDec {name=name}) -> name
                               | _ -> failwith "This should never happen") typeDecs
  
  let opensInModule (Module decs) =
      let opens = List.filter (fun dec -> match dec with
                                              | (_, _, OpenDec _) -> true
  
negative.code:                                           | (_, _, ExportDec (_, _, names)) -> names
                                            | _ -> failwith "This should never happen") exports)
  
  // Takes in module's declarations and finds the names of the declarations in the module
  let declarationsInModule (Module decs) =
      let namedDecs = List.filter (fun dec -> match dec with
                                                  | (_, _, FunctionDec _) -> true
  