picos_io.fd
Picos_io_fd.Resource
Resource type.
A resource that must be explicitly disposed.
picos_io
picos_io.select
type t = Unix.file_descr
Represents a disposable resource.
val equal : t -> t -> bool
equal resource1 resource2 determines whether resource1 and resource2 are one and the same.
equal resource1 resource2
resource1
resource2
val hash : t -> int
hash resource computes the hash value for resource.
hash resource
resource
val dispose : t -> unit
dispose resource releases the resource.
dispose resource
⚠️ The physical resource value may be reused only after dispose has been called on it.
dispose