Unity.OptionsFilter.options – unity Reference Manual
options
Description:
public
List
<
FilterOption
>
options
2022 vala-language.org