onecore
Toggle table of contents
androidJvm
Platform filter
androidJvm
Switch theme
Search in API
onecore
onecore
/
ch.procivis.one.core
/
ProofListQuery
/
page
page
var
page
:
UInt
Page number to retrieve (0-based indexing).