base.caps.IsoPod[T:iso,imm]

mut .consume[R$0:imm,mut,read](f: mut base.caps.IsoConsumer[T,R$0]): R$0 -> …,
mut !: iso T,
read .look[R$0:imm,mut,read](f: mut base.caps.IsoViewer'[T,R$0]): mut base.Action[R$0] -> …,
read .peek[R$0:imm,mut,read](f: mut base.caps.IsoViewer[T,R$0]): R$0,
mut .mutate(f: imm base.F[mut T,imm base.Void]): mut base.Action[imm base.Void] -> …,
read .isDead: imm base.Bool -> …,
mut .next(val: iso T): imm base.Void,
read .isAlive: imm base.Bool,
mut :=(val: iso T): imm base.Void -> …,
mut .consume[R$0:imm,mut,read](f: mut base.caps.IsoConsumer[T,R$0]): R$0 -> …,
mut !: iso T,
read .look[R$0:imm,mut,read](f: mut base.caps.IsoViewer'[T,R$0]): mut base.Action[R$0] -> …,
read .peek[R$0:imm,mut,read](f: mut base.caps.IsoViewer[T,R$0]): R$0,
mut .mutate(f: imm base.F[mut T,imm base.Void]): mut base.Action[imm base.Void] -> …,
read .isDead: imm base.Bool -> …,
mut .next(val: iso T): imm base.Void,
read .isAlive: imm base.Bool,
mut :=(val: iso T): imm base.Void -> …,