code: func Union(t0, t1 *Pot, pof Pof) (*Pot, int) {
  	return union(t0, t1, pof)
  }
docs: // Union called on (t0, t1, pof) returns the union of t0 and t1
  // calculates the union using the applicative union
  // the second return value is the number of common elements