def hello.auth
import bend-kit-redis@0.3.0.0/redis.bend as Redisimport Base
904def hello.auth(+user: String, +pass: String) -> List<&2, String>:
905 Bool.pick(List<&2, String>, String.eq(pass, ""), Nil{}, ["AUTH", Bool.pick(String, String.eq(user, ""), "default", user), pass])