Lines Matching defs:first
658 (* Convert the first i digits as a hex number. Check the result is
684 (* Convert the first i digits as a decimal. There must be exactly i digits. *)
719 case getc str of (* Read the first character. *)
778 case getc str of (* Read the first character. *)
901 else (* Control chars: Special cases first *)
924 else (* Control chars: Special cases first *)
1101 way as strings, with a length word in the first word, or we
1266 val first : substring -> char option
1562 (* Return the first character of the string together with the rest of the
1567 fun first(Slice{length=0w0, ...}) = NONE
1568 | first(Slice{vector=s, start=i, length=_}) = SOME(unsafeStringSub(s, i))
1664 (* The source is represented by a string whose first word is the length. *)