object
  method auto_set_z_index : int
  method get_attribute : string -> string
  method get_background : AXOWidgets.color
  method get_height : int
  method get_position : AXOWidgets.position
  method get_style_property : string -> AXOWidgets.color
  method get_width : int
  method get_x : int
  method get_y : int
  method get_z_index : int
  method move_x : int -> unit
  method move_y : int -> unit
  method obj : JSOO.obj
  method remove_attribute : string -> unit
  method set_anti_x : int -> unit
  method set_anti_y : int -> unit
  method set_attribute : string -> string -> unit
  method set_background : AXOWidgets.color -> unit
  method set_height : int -> unit
  method set_margin_bottom : int -> unit
  method set_margin_left : int -> unit
  method set_margin_right : int -> unit
  method set_margin_top : int -> unit
  method set_position : AXOWidgets.position -> unit
  method set_style_property : string -> AXOWidgets.color -> unit
  method set_width : int -> unit
  method set_x : int -> unit
  method set_y : int -> unit
  method set_z_index : int -> unit
end