etsi-data-classes/at.asitplus.etsi.relyingParty/WrpClaimPathSegment/Index

Index

@JvmInline
value class Index(val index: UInt) : WrpClaimPathSegment(source)

Selects the element at index of an array.

Constructors

Link copied to clipboard
constructor(index: UInt)

Properties

Link copied to clipboard
val index: UInt
Generated by Dokka
© 2026 Copyright