paneman/src/Channel.ig


 Copyright (c) 2000 California Institute of Technology 
 All rights reserved. See the file COPYRIGHT for a full description. 
 $Id: Channel.ig,v 1.2 2001-09-19 14:22:13 wagner Exp $ 

GENERIC INTERFACE Channel(Elem);
TYPE
  T <: Public;
  Public = OBJECT
  METHODS
    init(): T;
    send(elem: Elem.T);
    recv(): Elem.T;
  END;
END Channel.