/// declare namespace Tools { type ValueOfRecord = R extends Record ? T : never; }