循环CompThroughRightF:: F类 (( 一 ⊕ b条 ) ⊕ c(c) ) (( c(c) ⊕ d日 ) ⊕ 一 ) -> F类 b条 d日 loopCompThroughLeftF:(回路CompThroughLeftF::) F类 ( 一 ⊕ ( b条 ⊕ c(c) )) ( b条 ⊕ ( 一 ⊕ d日 )) -> F类 c(c) d日
loopThroughRightF f1 f2=loopCompThroughRightF(f1>+<f2)