Lines Matching defs:acc
158 fun subtms [] acc = acc
159 | subtms ((path,tm) :: rest) acc =
163 val acc = (List.rev path, tm) :: acc
166 Var _ => subtms rest acc
167 | Fn (_,args) => subtms (List.map f (enumerate args) @ rest) acc
293 fun subtms [] acc = acc
294 | subtms ((path,tm) :: rest) acc =
296 Var _ => subtms rest acc
301 Var _ => subtms rest acc
304 val acc = (List.rev path, tm) :: acc
307 subtms rest acc
315 val acc = (List.rev path, tm) :: acc
319 subtms rest acc