↰
base.flows.Flow[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], // from base.flows._NonTerminalOps/1
imm .self: imm base.flows.Flow[E] -> …,
read .self: read base.flows.Flow[E] -> …,
mut .self: mut base.flows.Flow[E] -> …,
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 -> …,
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], // from base.flows._NonTerminalOps/1
mut .first: mut base.Opt[E], // from base.flows._TerminalOps/1
mut .list: mut base.List[E] -> …, // from base.flows._TerminalOps/1
mut .all(predicate: read base.F[E,imm base.Bool]): imm base.Bool -> …, // from base.flows._TerminalOps/1
mut .filter(predicate: read base.F[E,imm base.Bool]): mut base.flows.Flow[E], // from base.flows._NonTerminalOps/1
mut .flatMap[R$0](f: read base.F[E,mut base.flows.Flow[R$0]]): mut base.flows.Flow[R$0], // from base.flows._NonTerminalOps/1
mut .findMap[R$0](f: read base.F[E,mut base.Opt[R$0]]): mut base.Opt[R$0], // from base.flows._TerminalOps/1
mut .join(j: imm base.flows.Joinable[E]): E -> …,
mut .unwrapOp(unwrap: mut base.flows._UnwrapFlowToken): mut base.flows.FlowOp[E],
mut .fold[S$0](acc: S$0, f: read base.F[S$0,E,S$0]): S$0, // from base.flows._TerminalOps/1
mut .map[R$0](f: read base.F[E,R$0]): mut base.flows.Flow[R$0], // from base.flows._NonTerminalOps/1
mut .limit(n: imm base.Nat): mut base.flows.Flow[E], // from base.flows._NonTerminalOps/1
mut .any(predicate: read base.F[E,imm base.Bool]): imm base.Bool -> …, // from base.flows._TerminalOps/1
mut .find(predicate: read base.F[E,imm base.Bool]): mut base.Opt[E] -> …, // from base.flows._TerminalOps/1
mut .size: imm base.Nat, // from base.flows._TerminalOps/1
mut .max(compare: read base.F[E,E,imm base.Ordering]): mut base.Opt[E] -> …, // from base.flows._TerminalOps/1
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
mut .for(f: read base.F[E,imm base.Void]): imm base.Void -> …, // from base.flows._TerminalOps/1
mut #[R$0](ext: mut base.Extension[mut 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
imm #[R$0](ext: mut base.Extension[imm base.flows.Flow[E],R$0]): R$0 -> …, // from base.Extensible/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], // from base.flows._NonTerminalOps/1
imm .self: imm base.flows.Flow[E] -> …,
read .self: read base.flows.Flow[E] -> …,
mut .self: mut base.flows.Flow[E] -> …,
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 -> …,
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], // from base.flows._NonTerminalOps/1
mut .first: mut base.Opt[E], // from base.flows._TerminalOps/1
mut .list: mut base.List[E] -> …, // from base.flows._TerminalOps/1
mut .all(predicate: read base.F[E,imm base.Bool]): imm base.Bool -> …, // from base.flows._TerminalOps/1
mut .filter(predicate: read base.F[E,imm base.Bool]): mut base.flows.Flow[E], // from base.flows._NonTerminalOps/1
mut .flatMap[R$0](f: read base.F[E,mut base.flows.Flow[R$0]]): mut base.flows.Flow[R$0], // from base.flows._NonTerminalOps/1
mut .findMap[R$0](f: read base.F[E,mut base.Opt[R$0]]): mut base.Opt[R$0], // from base.flows._TerminalOps/1
mut .join(j: imm base.flows.Joinable[E]): E -> …,
mut .unwrapOp(unwrap: mut base.flows._UnwrapFlowToken): mut base.flows.FlowOp[E],
mut .fold[S$0](acc: S$0, f: read base.F[S$0,E,S$0]): S$0, // from base.flows._TerminalOps/1
mut .map[R$0](f: read base.F[E,R$0]): mut base.flows.Flow[R$0], // from base.flows._NonTerminalOps/1
mut .limit(n: imm base.Nat): mut base.flows.Flow[E], // from base.flows._NonTerminalOps/1
mut .any(predicate: read base.F[E,imm base.Bool]): imm base.Bool -> …, // from base.flows._TerminalOps/1
mut .find(predicate: read base.F[E,imm base.Bool]): mut base.Opt[E] -> …, // from base.flows._TerminalOps/1
mut .size: imm base.Nat, // from base.flows._TerminalOps/1
mut .max(compare: read base.F[E,E,imm base.Ordering]): mut base.Opt[E] -> …, // from base.flows._TerminalOps/1
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
mut .for(f: read base.F[E,imm base.Void]): imm base.Void -> …, // from base.flows._TerminalOps/1
mut #[R$0](ext: mut base.Extension[mut 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
imm #[R$0](ext: mut base.Extension[imm base.flows.Flow[E],R$0]): R$0 -> …, // from base.Extensible/1