paneman/src/ListExtras.ig


 Copyright (c) 2000 California Institute of Technology 
 All rights reserved. See the file COPYRIGHT for a full description. 
 $Id: ListExtras.ig.html,v 1.3 2010-04-29 17:19:45 wagner Exp $ 

GENERIC INTERFACE ListExtras(Elem, ElemList);
CONST Brand = "(ListExtras " & Elem.Brand & ")";
TYPE T = ElemList.T;

PROCEDURE MemberDelD(VAR l: T; e: Elem.T): BOOLEAN;
PROCEDURE LastDelD(VAR l: T): Elem.T;

PROCEDURE DeleteD(l: T; READONLY e: Elem.T): T;

END ListExtras.