let key = b"ferris23!@#$%^&*()";
let counter = 9001_u64;
let token: Token<6> = hotp(key, counter).unwrap();
assert_eq!(token, Token(852888));

该crate广泛使用"const generics"来在所有操作中编码令牌长度，迫使消费者明确指定例如"令牌是否等于这个数字？"等含义。这种明确性还使一些很好的功能成为可能，例如自动将令牌填充为零以达到正确的显示长度

let key = b"ferris23!@#$%^&*()";
let counter = 292167_u64;
let token: Token<6> = hotp(key, counter).unwrap();
// Equivalent:
let token = hotp::<_, _, 6>(key, counter).unwrap();
assert_eq!(token.to_string(), "000000");

这种类型级别的编码还用于在编译时确保遵循HOTP规范。

let key = b"ferris23!@#$%^&*()";
let counter = 9001_u64;
// The HOTP spec only allows tokens of length 6–9
let pin: Token<4> = hotp(key, counter).unwrap();