const unsigned TINFO_tensor = 0x000e0001U;
const unsigned TINFO_tensdelta = 0x000e1001U;
const unsigned TINFO_tensmetric = 0x000e1002U;
const unsigned TINFO_minkmetric = 0x000e2001U;
const unsigned TINFO_tensor = 0x000e0001U;
const unsigned TINFO_tensdelta = 0x000e1001U;
const unsigned TINFO_tensmetric = 0x000e1002U;
const unsigned TINFO_minkmetric = 0x000e2001U;