找出我的Redis密钥过期超时TTL？我需要在C#中使用哪个函数，所以我将获得整数形式的TTL

using StackExchange.Redis;
using System;

class Program
{
    static void Main(string[] args)
    {
        // 连接到Redis服务器
        var redis = ConnectionMultiplexer.Connect("your_redis_connection_string");

        // 获取Redis数据库
        var database = redis.GetDatabase();

        // 设置或获取密钥的TTL
        var ttl = database.KeyTimeToLive("your_redis_key");

        // 检查TTL是否存在
        if (ttl.HasValue)
        {
            // 输出密钥的TTL，以秒为单位
            Console.WriteLine($"Redis密钥的TTL为：{ttl.Value.TotalSeconds}秒");
        }
        else
        {
            Console.WriteLine("Redis密钥不存在或已过期");
        }
    }
}