Defines the functions to define what is a device state and how to disconnect such a device.
type +'a io
The type for potentially blocking I/O operation
The type representing the internal state of the device
val disconnect : t -> unit io
Disconnect from the device. While this might take some time to complete, it can never result in an error.