| Example from
Foxnet |
|
|
|
|
|
|
|
| • | type
connection = (msg ® unit) ´ (unit ® unit) |
|||||
| a pair of functions to send and abort |
||||||
| • | open
: address |
|||||
| ® ((connection ® (indata ® unit)) |
||||||
| ® unit) |
||||||
