ping
Toggle table of contents
0.0.0
release
Target filter
release
Switch theme
Search in API
Skip to content
ping
oidc
/
com.pingidentity.oidc.module
/
user
user
val
SuccessNode
.
user
:
User
(
source
)
Extension property for Success to cast the
SuccessNode.session
to a User.