DevicesInput typedef

DevicesInput = ()

Input parameters for listDevices. Empty record because fdb devices takes no arguments today.

Implementation

typedef DevicesInput = ();