onecore
Toggle table of contents
androidJvm
Platform filter
androidJvm
Switch theme
Search in API
onecore
onecore
/
ch.procivis.one.core
/
ProofListItem
/
state
state
var
state
:
ProofState
State representation of this request.