package def.dom;
public class HTMLParamElement extends HTMLElement {
    /**
      * Sets or retrieves the name of an input parameter for an element.
      */
    public String name;
    /**
      * Sets or retrieves the content type of the resource designated by the value attribute.
      */
    public String type;
    /**
      * Sets or retrieves the value of an input parameter for an element.
      */
    public String value;
    /**
      * Sets or retrieves the data type of the value attribute.
      */
    public String valueType;
    public static HTMLParamElement prototype;
    public HTMLParamElement(){}
}

