↰
imm base.flows.Enumerated[E:imm]base.flows.ActorImpl/3base.flows.ActorImplMut/3base.flows.ActorRes/0base.flows.ActorResMatch/1base.flows.EmptyFlow/1base.flows.Enumerated/1base.flows.Flow/0base.flows.Flow/1base.flows.FlowOp/1base.flows.Joinable/1base.flows.Pair/2base.flows.RestrictFlowReuse/0base.flows.TerminalOnInfiniteError/0imm .i: imm base.Nat -> …,
imm .e: E -> …,
		imm .i: imm base.Nat -> …,
imm .e: E -> …,