循环F:: F类 一 一 -> F类 一 一 loopLeftF:: F类 ( 一 ⊕ b条 ) ( 一 ⊕ c(c) ) -> F类 b条 c(c) loopRightF:: F类 ( 一 ⊕ b条 ) ( c(c) ⊕ b条 ) -> F类 一 c(c) 循环吞吐量右F:: F类 ( 一 ⊕ b条 ) ( c(c) ⊕ d日 ) -> F类 c(c) 一 -> F类 b条 d日 仅限loopF:: F类 一 一 -> F类 一 b条
仅循环f f=nullSP>^^=<循环f f