region-index
Toggle table of contents
1.0.0
common
Platform filter
common
Switch theme
Search in API
region-index
region-index
/
de.westnordost.region_index
/
serializeTo
serialize
To
fun
RegionIndex
.
serializeTo
(
sink
:
Sink
)
Serialize this RegionIndex to the given sink