Lines Matching defs:scan
137 let fun scan nil = [rp]
138 | scan (h :: t) = cm :: f h :: scan t
139 in List.concat (lp :: f a :: scan r)
146 let fun scan nil = [[" in "],f body,[" end"],cr]
147 | scan (h :: t) = printDecl h :: scan t
148 in List.concat(["let "] :: scan dl)
166 let fun scan (h :: nil) = [f h]
167 | scan (h :: t) = f h :: ["::"] :: scan t
168 | scan _ = raise Fail "scan"
169 in List.concat (scan l)
172 let fun scan nil = [rp]
173 | scan (h :: t) = cm :: f h :: scan t
174 in List.concat (lp :: f a :: scan r)