Copyright (c) 2000 California Institute of Technology
All rights reserved. See the file COPYRIGHT for a full description.
$Id: Channel.ig.html,v 1.2.2.1 2010-04-15 21:00:17 wagner Exp $
GENERIC INTERFACE Channel(Elem);
TYPE
T <: Public;
Public = OBJECT
METHODS
init(): T;
send(elem: Elem.T);
recv(): Elem.T;
END;
END Channel.