Form Select attributes

Hello everyone.

This is a sample from Vokuro/app/forms/UsersForm.php:

$this->add(new Select('profilesId', Profiles::find('active = "Y"'), array(
            'using' => array('id', 'name'),
            'useEmpty' => true,
            'emptyText' => '...',
            'emptyValue' => ''
)));

Question: Where in the Phalcon documentation can I find that these attributes (using, useEmpty, emptyText....) exist for Select, and any other Element in general?