↰ base.flows.EmptyFlow[E]

• base.flows.ActorImpl/3
• base.flows.ActorImplMut/3
• base.flows.ActorRes/0
• base.flows.ActorResMatch/1
• base.flows.EmptyFlow/1
• base.flows.Enumerated/1
• base.flows.Flow/0
• base.flows.Flow/1
• base.flows.FlowOp/1
• base.flows.Joinable/1
• base.flows.Pair/2
• base.flows.RestrictFlowReuse/0
• base.flows.TerminalOnInfiniteError/0

mut .actorMut[S$0,R$0](state: iso S$0, f: read base.flows.ActorImplMut[S$0,E,R$0]): mut base.flows.Flow[R$0] -> …,
mut .self: mut base.flows.Flow[E] -> …, // from base.flows.Flow/1
read .self: read base.flows.Flow[E] -> …, // from base.flows.Flow/1
imm .self: imm base.flows.Flow[E] -> …, // from base.flows.Flow/1
mut .let[DR$0,R$0](x: read base.F[mut base.MF[mut base.flows.Flow[E]],DR$0], cont: mut base.Continuation[DR$0,mut base.flows.Flow[E],R$0]): R$0 -> …, // from base.flows.Flow/1
mut .actor[S$0,R$0](state: iso S$0, f: read base.flows.ActorImpl[S$0,E,R$0]): mut base.flows.Flow[imm R$0] -> …,
mut .first: mut base.Opt[E] -> …,
mut .list: mut base.List[E] -> …, // from base.flows._TerminalOps/1
mut .all(p: read base.F[E,imm base.Bool]): imm base.Bool -> …,
mut .filter(p: read base.F[E,imm base.Bool]): mut base.flows.Flow[E] -> …,
mut .flatMap[R$0](f: read base.F[E,mut base.flows.Flow[R$0]]): mut base.flows.Flow[R$0] -> …,
mut .findMap[R$0](fear31$: read base.F[E,mut base.Opt[R$0]]): mut base.Opt[R$0] -> …,
mut .join(j: imm base.flows.Joinable[E]): E -> …, // from base.flows.Flow/1
mut .unwrapOp(fear34$: mut base.flows._UnwrapFlowToken): mut base.flows.FlowOp[E] -> …,
mut .fold[S$0](acc: S$0, fear33$: read base.F[S$0,E,S$0]): S$0 -> …,
mut .only: mut base.Action[E] -> …, // from base.flows.Flow/1
mut .map[R$0](f: read base.F[E,R$0]): mut base.flows.Flow[R$0] -> …,
mut .limit(fear30$: imm base.Nat): mut base.flows.Flow[E] -> …,
mut .any(p: read base.F[E,imm base.Bool]): imm base.Bool -> …,
mut .with[EB$0](other: mut base.flows.Flow[EB$0]): mut base.flows.Flow[mut base.flows.Pair[E,EB$0]] -> …,
mut .find(fear32$: read base.F[E,imm base.Bool]): mut base.Opt[E] -> …,
mut .max(compare: read base.F[E,E,imm base.Ordering]): mut base.Opt[E] -> …, // from base.flows._TerminalOps/1
mut .size: imm base.Nat -> …,
mut .scan[S$0](acc: imm S$0, f: read base.F[S$0,E,S$0]): mut base.flows.Flow[imm S$0] -> …, // from base.flows._NonTerminalOps/1
imm #[R$0](ext: mut base.Extension[imm base.flows.Flow[E],R$0]): R$0 -> …, // from base.Extensible/1
read #[R$0](ext: mut base.Extension[read base.flows.Flow[E],R$0]): R$0 -> …, // from base.Extensible/1
mut #[R$0](ext: mut base.Extension[mut base.flows.Flow[E],R$0]): R$0 -> …, // from base.Extensible/1
mut .for(f: read base.F[E,imm base.Void]): imm base.Void -> …, // from base.flows._TerminalOps/1