Lines Matching defs:chs
157 fun chop (#" " :: chs) = (curry op+ 1 ## I) (chop chs)158 | chop chs = (0,chs);164 val chs = explode tok165 val (r,chs) = chop (rev chs)166 val (l,chs) = chop (rev chs)168 ((l,r), implode chs)