Lines Matching defs:chs
136 fun chop (#" " :: chs) = (curry op+ 1 ## I) (chop chs) | chop chs = (0,chs);140 val chs = explode tok141 val (r, chs) = chop (rev chs)142 val (l, chs) = chop (rev chs)144 ((l, r), implode chs)