Lines Matching defs:aux
42 fun aux acc l =
46 else aux (e::acc) l)
48 aux [] l
160 fun aux acc t = let
163 aux (l::acc) t'
166 aux [] t
455 fun aux acc v col_no = if (col_no <= 1) then List.rev (v::acc) else (
460 aux (v1::acc) v2 (col_no-1)
466 val ps' = if (cols = col_no) then ps else aux [] pt col_no
472 val vs = aux [] v col_no