package def.dom;
public class HTMLOListElement extends HTMLElement {
    public java.lang.Boolean compact;
    /**
      * The starting number.
      */
    public double start;
    public java.lang.String type;
    public static HTMLOListElement prototype;
    public HTMLOListElement(){}
}

