BATS And DirectEdge To Merge, Terms Not Disclosed