Lines Matching defs:acc
221 fun loop acc th =
223 val acc = MATCH_MP head_drop th :: acc
226 CONV_RULE reduceLib.REDUCE_CONV (MATCH_MP length_drop th) :: acc
227 else loop acc (reduce (MATCH_MP tail_drop th))
276 fun harvest_terms acc [] = acc
277 | harvest_terms acc (Leaf (tm,_) :: l) = harvest_terms (tm :: acc) l
278 | harvest_terms acc (Branch (_,a,b) :: l) = harvest_terms acc (a :: b :: l);
284 fun g acc [] = acc
285 | g acc ((i,t,a,c) :: r) = g ((i, t, a, f c) :: acc) r
380 fun export _ _ _ set acc [] = finalize set acc
381 | export alph r trans set acc (tm :: rest) =
382 if member set tm then export alph r trans set acc rest else
389 val acc = (i, tm, a, c) :: acc
391 export alph r trans set acc rest