Documentation of IntCouple class