options

The settings under the map option (ProviderOption.map), their keys relative to it.


fun options(prefix: String): Map<String, String>

The settings under prefix, relative to it (query.settings.max_threads under query.settings).