PCES PI Meeting     Feb 2001
29
Example from Foxnet
•type connection = (msg ® unit) ´ (unit ® unit)
•    a pair of functions to send and abort
•open : address
•               ® ((connection ® (indata ® unit))
•                          ® unit)