class Steep::TypeInference::Logic::Result

def merge(nodes)

def merge(nodes)
  Result.new(self.nodes + nodes)
end