Searched refs:rewriteOO (Results 1 – 1 of 1) sorted by relevance
418 foldRewriteNodesBwdOO rewriteOO initBlock initFacts = go initBlock initFacts function420 go (BCons node1 block1) !fact1 = (rewriteOO node1 `comp` go block1) fact1421 go (BSnoc block1 node1) !fact1 = (go block1 `comp` rewriteOO node1) fact1423 go (BMiddle node) !fact1 = rewriteOO node fact1