type error = [ | `Unimplemented | operation not yet implemented in the code |
| `Disconnected | the device has been previously disconnected |
]The type for device errors.
module type S = sig ... endDefines the functions to define what is a device state and how to disconnect such a device.