home *** CD-ROM | disk | FTP | other *** search
Text File | 1996-07-03 | 438 b | 16 lines | [TEXT/R*ch] |
- (* Byte *)
-
- exception Ord = Ord; (* Not raised by these functions *)
-
- local
- prim_val chr_ : Word8.word -> Char.char = 1 "identity";
- prim_val ord_ : Char.char -> Word8.word = 1 "identity";
- prim_val string_ : Word8Vector.vector -> string = 1 "identity";
- in
- val chr = chr_;
- val ord = ord_;
- val string = string_;
- fun extract (a, i, sliceend) =
- string (Word8Array.extract (a, i, sliceend));
- end
-