예제 #1
0
template<> Timestamp get(Mixed m) { return m.get_timestamp(); }