declare class ReplaceEventManager from EventManager meth replace(NewF NewS OldId NewId insert:P<=proc {$ _} skip end) Buf=EventManager,delete(OldId $) in {P Buf} NewId=EventManager,add(NewF NewS $) end end