typespec: select