package ocgtk

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Class Device_tool.device_tool

method get_axes : unit -> Ocgtk_gdk__.Gdk_enums.axisflags
method get_hardware_id : unit -> UInt64.t
method get_serial : unit -> UInt64.t
method get_tool_type : unit -> Ocgtk_gdk__.Gdk_enums.devicetooltype
method as_device_tool : Ocgtk_gdk__.Device_tool.t