一个用于以声明式风格建模数据库查询的API，具有强大的Kotlin类型检查功能。