picos.fd
Picos_fd.Resource
Resource type.
A resource that must be explicitly disposed.
picos
picos.domain
picos.exn_bt
picos.fifos
picos.htbl
picos.mpsc_queue
picos.rc
picos.select
picos.stdio
picos.sync
picos.threaded
picos.tls
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