↰
base.caps.CapTrybase.caps.CapTry/0base.caps.CapTrys/0base.caps.Create/0base.caps.Env/0base.caps.FEnv/0base.caps.FileHandleMode/0base.caps.IO/0base.caps.IsoConsumer/2base.caps.IsoPod/0base.caps.IsoPod/1base.caps.IsoViewer'/2base.caps.IsoViewer/2base.caps.RandomSeed/0base.caps.Read/0base.caps.ReadPath/0base.caps.ReadWritePath/0base.caps.System/0base.caps.UnrestrictedIO/0base.caps.Write/0base.caps.WritePath/0mut #[T$0:iso,imm,mut,read,R$0:imm,mut,read](data: iso T$0, try: read base.F[iso T$0,R$0]): mut base.Action[R$0],
mut .iso: iso base.caps.CapTry, // from base.ToIso/1
mut #[R$0:imm,mut,read](try: read base.F[R$0]): mut base.Action[R$0],mut #[T$0:iso,imm,mut,read,R$0:imm,mut,read](data: iso T$0, try: read base.F[iso T$0,R$0]): mut base.Action[R$0],
mut .iso: iso base.caps.CapTry, // from base.ToIso/1
mut #[R$0:imm,mut,read](try: read base.F[R$0]): mut base.Action[R$0],