Lines Matching defs:acc
124 fun addLit ((_,atm),acc) = atomToTerms atm @ acc
135 fun addLit ((p,atm),acc) =
136 if p = pol then atomToTerms atm @ acc else acc
169 fun addEq lit ort (l_r as (l,_)) acc =
170 if isLargerTerm parameters l_r then (lit,ort,l) :: acc else acc
172 fun addLit (lit,acc) =
174 NONE => acc
177 val acc = addEq lit Rewrite.RightToLeft (r,l) acc
178 val acc = addEq lit Rewrite.LeftToRight (l,r) acc
180 acc
187 fun addLit (lit,acc) =
189 fun addTm ((path,tm),acc) = (lit,path,tm) :: acc
191 List.foldl addTm acc (Literal.nonVarTypedSubterms lit)