Equivalent to the select statement. Additionally, performs completeness check for enumeration types. See select and switchall pages for more details.