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