Lines Matching defs:scan
163 fun scan s qb = let
168 raise ERRloc "scan" locn
171 | x => raise ERRloc "scan" locn ("Wanted \""^s^"\"; got \""^
197 val () = scan ":" qb
205 case Lib.total (scan sepsym) qb of
230 val () = scan "<|" qb
233 val () = scan "|>" qb
270 parse_type G qb before scan ")" qb
335 val () = scan "=" qb
345 val () = scan "=" qb