base.flows.EmptyFlow[E:imm,mut,read]

mut .forEffect(f: mut base.MF[E,imm base.Void]): imm base.Void -> …, // from base.flows._TerminalOps/1
mut .peek(f: read base.F[E,imm base.Void]): mut base.flows.Flow[E] -> …, // from base.flows._NonTerminalOps/1
mut .peek[C$0:imm,mut,read](ctx: iso base.ToIso[C$0], f: read base.F[iso C$0,E,imm base.Void]): mut base.flows.Flow[E] -> …, // from base.flows._NonTerminalOps/1
mut .actorMut[S$0:imm,mut,read,R$0:imm,mut,read](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:imm,mut,read,R$0:imm,mut,read](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:imm,mut,read,R$0:imm,mut,read](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:imm,mut,read](f: read base.F[E,mut base.flows.Flow[R$0]]): mut base.flows.Flow[R$0] -> …,
mut .opt: mut base.Opt[E] -> …, // from base.flows.Flow/1
mut .get: E -> …, // from base.flows.Flow/1
mut .findMap[R$0:imm,mut,read](fear40$: 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(fear43$: mut base.flows._UnwrapFlowToken): mut base.flows.FlowOp[E] -> …,
mut .fold[S$0:imm,mut,read](acc: S$0, fear42$: read base.F[S$0,E,S$0]): S$0 -> …,
mut .only: mut base.Action[E] -> …, // from base.flows.Flow/1
mut .map[C$0:imm,mut,read,R$0:imm,mut,read](fear31$: iso base.ToIso[C$0], fear32$: read base.F[iso C$0,E,R$0]): mut base.flows.Flow[R$0] -> …,
mut .map[R$0:imm,mut,read](f: read base.F[E,R$0]): mut base.flows.Flow[R$0] -> …,
mut .limit(fear39$: 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:imm,mut,read](other: mut base.flows.Flow[EB$0]): mut base.flows.Flow[mut base.flows.Pair[E,EB$0]] -> …,
mut .find(fear41$: 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:imm](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:imm,mut,read](ext: mut base.Extension[imm base.flows.Flow[E],R$0]): R$0 -> …, // from base.Extensible/1
read #[R$0:imm,mut,read](ext: mut base.Extension[read base.flows.Flow[E],R$0]): R$0 -> …, // from base.Extensible/1
mut #[R$0:imm,mut,read](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 .forEffect(f: mut base.MF[E,imm base.Void]): imm base.Void -> …, // from base.flows._TerminalOps/1
mut .peek(f: read base.F[E,imm base.Void]): mut base.flows.Flow[E] -> …, // from base.flows._NonTerminalOps/1
mut .peek[C$0:imm,mut,read](ctx: iso base.ToIso[C$0], f: read base.F[iso C$0,E,imm base.Void]): mut base.flows.Flow[E] -> …, // from base.flows._NonTerminalOps/1
mut .actorMut[S$0:imm,mut,read,R$0:imm,mut,read](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:imm,mut,read,R$0:imm,mut,read](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:imm,mut,read,R$0:imm,mut,read](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:imm,mut,read](f: read base.F[E,mut base.flows.Flow[R$0]]): mut base.flows.Flow[R$0] -> …,
mut .opt: mut base.Opt[E] -> …, // from base.flows.Flow/1
mut .get: E -> …, // from base.flows.Flow/1
mut .findMap[R$0:imm,mut,read](fear40$: 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(fear43$: mut base.flows._UnwrapFlowToken): mut base.flows.FlowOp[E] -> …,
mut .fold[S$0:imm,mut,read](acc: S$0, fear42$: read base.F[S$0,E,S$0]): S$0 -> …,
mut .only: mut base.Action[E] -> …, // from base.flows.Flow/1
mut .map[C$0:imm,mut,read,R$0:imm,mut,read](fear31$: iso base.ToIso[C$0], fear32$: read base.F[iso C$0,E,R$0]): mut base.flows.Flow[R$0] -> …,
mut .map[R$0:imm,mut,read](f: read base.F[E,R$0]): mut base.flows.Flow[R$0] -> …,
mut .limit(fear39$: 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:imm,mut,read](other: mut base.flows.Flow[EB$0]): mut base.flows.Flow[mut base.flows.Pair[E,EB$0]] -> …,
mut .find(fear41$: 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:imm](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:imm,mut,read](ext: mut base.Extension[imm base.flows.Flow[E],R$0]): R$0 -> …, // from base.Extensible/1
read #[R$0:imm,mut,read](ext: mut base.Extension[read base.flows.Flow[E],R$0]): R$0 -> …, // from base.Extensible/1
mut #[R$0:imm,mut,read](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