https://docs.spring.io/spring-data/data-redis/docs/current/api/org/springframework/data/redis/core/script/DefaultRedisScript.html
DefaultRedisScript (Spring Data Redis 4.0.5 API)
declaration: package: org.springframework.data.redis.core.script, class: DefaultRedisScript
spring dataredisapi