// triple.cc

#include "triple.h"