Next:
get_devices(), get_modules()
Up:
Miscellaneous
Previous:
device_record()
Contents
Index
device_type()
* = device_type( dev_id)
Returns the device type.
e.g.:
* = device_type( t1)
returns TIMER
