base.flows.EmptyFlow[E]

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](fear25$: 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(fear28$: mut base.flows._UnwrapFlowToken): mut base.flows.FlowOp[E] -> …,
mut .fold[S$0](acc: S$0, fear27$: read base.F[S$0,E,S$0]): S$0 -> …,
mut .map[R$0](f: read base.F[E,R$0]): mut base.flows.Flow[R$0] -> …,
mut .limit(fear24$: imm base.Nat): mut base.flows.Flow[E] -> …,
mut .any(p: read base.F[E,imm base.Bool]): imm base.Bool -> …,
mut .find(fear26$: 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
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](fear25$: 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(fear28$: mut base.flows._UnwrapFlowToken): mut base.flows.FlowOp[E] -> …,
mut .fold[S$0](acc: S$0, fear27$: read base.F[S$0,E,S$0]): S$0 -> …,
mut .map[R$0](f: read base.F[E,R$0]): mut base.flows.Flow[R$0] -> …,
mut .limit(fear24$: imm base.Nat): mut base.flows.Flow[E] -> …,
mut .any(p: read base.F[E,imm base.Bool]): imm base.Bool -> …,
mut .find(fear26$: 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