code: func (a *UnificationErrDetail) Lines() []string {
  	lines := make([]string, 2)
  	lines[0] = fmt.Sprint("left  : ", types.Sprint(a.Left))
  	lines[1] = fmt.Sprint("right : ", types.Sprint(a.Right))
  	return lines
  }
docs: // Lines returns the string representation of the detail.