Tipurile resurselor

One resource type is defined by this extension: a file descriptor returned by dio_open().