Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
A Triple is a pretty bad API. Having 3 unnamed types in a triple is a bad API that's hard to understand. A Pair is manageable, but not a Triple. We weren't using this either, so may as well remove it.
- Loading branch information