[ library(notify_ports) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]
close_sender(+Pos, +Struct)
Close a send port on a structure field
- Pos
- positive integer, the send port's field number in Struct
- Struct
- a structure whose Pos-th field is a send port