ping
Toggle table of contents
0.0.0
androidJvm
Platform filter
androidJvm
Switch theme
Search in API
ping
oidc
/
com.pingidentity.oidc.module
/
user
user
val
SuccessNode
.
user
:
User
Extension property for Success to cast the
SuccessNode.session
to a User.