Class type Mozilla.DOM.option

class type option = object .. end

• Mozilla.DOM.element

method _get_text : string

method _get_value : string