basis-library/libs/basis-2002/top-level/basis.sig

   1 signature BASIS_2002 =
   2    sig
   3       (* Top-level types *)
   4       eqtype 'a array
   5       datatype bool = datatype BasisExtra.bool
   6       eqtype char
   7       type exn
   8       eqtype int
   9       datatype 'a option = NONE | SOME of 'a
  10       datatype order = LESS | EQUAL | GREATER
  11       datatype list = datatype BasisExtra.list
  12       datatype ref = datatype BasisExtra.ref
  13       type real
  14       eqtype string
  15       type substring
  16       eqtype unit
  17       eqtype 'a vector
  18       eqtype word
  19
  20       (* Top-level exceptions *)
  21       exception Bind
  22       exception Chr
  23       exception Div
  24       exception Domain
  25       exception Empty
  26       exception Fail of string
  27       exception Match
  28       exception Option
  29       exception Overflow
  30       exception Size
  31       exception Span
  32       exception Subscript
  33
  34       (* Top-level values *)
  35       val = : ''a * ''a -> bool
  36       val <> : ''a * ''a -> bool
  37
  38       val ! : 'a ref -> 'a
  39       val := : 'a ref * 'a -> unit
  40       val @ : ('a list * 'a list) -> 'a list
  41       val ^ : string * string -> string
  42       val app : ('a -> unit) -> 'a list -> unit
  43       val before : 'a * unit -> 'a
  44       val ceil : real -> int
  45       val chr : int -> char
  46       val concat : string list -> string
  47       val exnMessage : exn -> string
  48       val exnName : exn -> string
  49       val explode : string -> char list
  50       val floor : real -> int
  51       val foldl : ('a * 'b -> 'b) -> 'b -> 'a list -> 'b
  52       val foldr : ('a * 'b -> 'b) -> 'b -> 'a list -> 'b
  53       val getOpt : ('a option * 'a) -> 'a
  54       val hd : 'a list -> 'a
  55       val ignore : 'a -> unit
  56       val isSome : 'a option -> bool
  57       val implode : char list -> string
  58       val length : 'a list -> int
  59       val map : ('a -> 'b) -> 'a list -> 'b list
  60       val not : bool -> bool
  61       val null : 'a list -> bool
  62       val o : ('a -> 'b) * ('c -> 'a) -> 'c -> 'b
  63       val ord : char -> int
  64       val print : string -> unit
  65       val real : int -> real
  66 (*
  67       val ref : 'a -> 'a ref
  68 *)
  69       val rev : 'a list -> 'a list
  70       val round : real -> int
  71       val size : string -> int
  72       val str : char -> string
  73       val substring : string * int * int -> string
  74       val tl : 'a list -> 'a list
  75       val trunc : real -> int
  76 (*
  77       val use : string -> unit
  78 *)
  79       val valOf : 'a option -> 'a
  80       val vector : 'a list -> 'a vector
  81
  82       (* Required structures *)
  83       structure Array : ARRAY
  84       structure ArraySlice : ARRAY_SLICE
  85       structure BinIO : BIN_IO
  86       structure BinPrimIO : PRIM_IO
  87       structure Bool : BOOL
  88       structure Byte : BYTE
  89       structure Char : CHAR
  90       structure CharArray : MONO_ARRAY
  91       structure CharArraySlice : MONO_ARRAY_SLICE
  92       structure CharVector : MONO_VECTOR
  93       structure CharVectorSlice : MONO_VECTOR_SLICE
  94       structure CommandLine : COMMAND_LINE
  95       structure Date : DATE
  96       structure General : GENERAL
  97       structure IEEEReal : IEEE_REAL
  98       structure Int : INTEGER
  99       structure IO : IO
 100       structure LargeInt : INTEGER
 101       structure LargeReal : REAL
 102       structure LargeWord : WORD
 103       structure List : LIST
 104       structure ListPair : LIST_PAIR
 105       structure Math : MATH
 106       structure Option : OPTION
 107       structure OS : OS
 108       structure Position : INTEGER
 109       structure Real : REAL
 110       structure StringCvt : STRING_CVT
 111       structure String : STRING
 112       structure Substring : SUBSTRING
 113       structure TextIO : TEXT_IO
 114       structure TextPrimIO : PRIM_IO
 115       structure Text : TEXT
 116       structure Time : TIME
 117       structure Timer : TIMER
 118       structure VectorSlice : VECTOR_SLICE
 119       structure Vector : VECTOR
 120       structure Word : WORD
 121       structure Word8Array : MONO_ARRAY
 122       structure Word8Array2 : MONO_ARRAY2
 123       structure Word8ArraySlice : MONO_ARRAY_SLICE
 124       structure Word8Vector : MONO_VECTOR
 125       structure Word8VectorSlice : MONO_VECTOR_SLICE
 126
 127       (* Optional structures *)
 128       structure Array2 : ARRAY2
 129       structure BoolArray : MONO_ARRAY
 130       structure BoolArray2 : MONO_ARRAY2
 131       structure BoolArraySlice : MONO_ARRAY_SLICE
 132       structure BoolVector : MONO_VECTOR
 133       structure BoolVectorSlice : MONO_VECTOR_SLICE
 134       structure CharArray2 : MONO_ARRAY2
 135       structure FixedInt : INTEGER
 136       structure GenericSock : GENERIC_SOCK
 137       structure INetSock : INET_SOCK
 138       structure Int1: INTEGER
 139       structure Int2: INTEGER
 140       structure Int3: INTEGER
 141       structure Int4: INTEGER
 142       structure Int5: INTEGER
 143       structure Int6: INTEGER
 144       structure Int7: INTEGER
 145       structure Int8: INTEGER
 146       structure Int9: INTEGER
 147       structure Int10: INTEGER
 148       structure Int11: INTEGER
 149       structure Int12: INTEGER
 150       structure Int13: INTEGER
 151       structure Int14: INTEGER
 152       structure Int15: INTEGER
 153       structure Int16: INTEGER
 154       structure Int17: INTEGER
 155       structure Int18: INTEGER
 156       structure Int19: INTEGER
 157       structure Int20: INTEGER
 158       structure Int21: INTEGER
 159       structure Int22: INTEGER
 160       structure Int23: INTEGER
 161       structure Int24: INTEGER
 162       structure Int25: INTEGER
 163       structure Int26: INTEGER
 164       structure Int27: INTEGER
 165       structure Int28: INTEGER
 166       structure Int29: INTEGER
 167       structure Int30: INTEGER
 168       structure Int31: INTEGER
 169       structure Int32: INTEGER
 170       structure Int64: INTEGER
 171       structure Int8Array : MONO_ARRAY
 172       structure Int8Array2 : MONO_ARRAY2
 173       structure Int8ArraySlice : MONO_ARRAY_SLICE
 174       structure Int8Vector : MONO_VECTOR
 175       structure Int8VectorSlice : MONO_VECTOR_SLICE
 176       structure Int16Array : MONO_ARRAY
 177       structure Int16Array2 : MONO_ARRAY2
 178       structure Int16ArraySlice : MONO_ARRAY_SLICE
 179       structure Int16Vector : MONO_VECTOR
 180       structure Int16VectorSlice : MONO_VECTOR_SLICE
 181       structure Int32Array : MONO_ARRAY
 182       structure Int32Array2 : MONO_ARRAY2
 183       structure Int32ArraySlice : MONO_ARRAY_SLICE
 184       structure Int32Vector : MONO_VECTOR
 185       structure Int32VectorSlice : MONO_VECTOR_SLICE
 186       structure Int64Array : MONO_ARRAY
 187       structure Int64Array2 : MONO_ARRAY2
 188       structure Int64ArraySlice : MONO_ARRAY_SLICE
 189       structure Int64Vector : MONO_VECTOR
 190       structure Int64VectorSlice : MONO_VECTOR_SLICE
 191       structure IntArray : MONO_ARRAY
 192       structure IntArray2 : MONO_ARRAY2
 193       structure IntArraySlice : MONO_ARRAY_SLICE
 194       structure IntVector : MONO_VECTOR
 195       structure IntVectorSlice : MONO_VECTOR_SLICE
 196       structure IntInf : INT_INF
 197       structure LargeIntArray : MONO_ARRAY
 198       structure LargeIntArray2 : MONO_ARRAY2
 199       structure LargeIntArraySlice : MONO_ARRAY_SLICE
 200       structure LargeIntVector : MONO_VECTOR
 201       structure LargeIntVectorSlice : MONO_VECTOR_SLICE
 202       structure LargeRealArray : MONO_ARRAY
 203       structure LargeRealArray2 : MONO_ARRAY2
 204       structure LargeRealArraySlice : MONO_ARRAY_SLICE
 205       structure LargeRealVector : MONO_VECTOR
 206       structure LargeRealVectorSlice : MONO_VECTOR_SLICE
 207       structure LargeWordArray : MONO_ARRAY
 208       structure LargeWordArray2 : MONO_ARRAY2
 209       structure LargeWordArraySlice : MONO_ARRAY_SLICE
 210       structure LargeWordVector : MONO_VECTOR
 211       structure LargeWordVectorSlice : MONO_VECTOR_SLICE
 212       structure NetHostDB : NET_HOST_DB
 213       structure NetProtDB : NET_PROT_DB
 214       structure NetServDB : NET_SERV_DB
 215       structure PackReal32Big : PACK_REAL
 216       structure PackReal32Little : PACK_REAL
 217       structure PackReal64Big : PACK_REAL
 218       structure PackReal64Little : PACK_REAL
 219       structure PackRealBig : PACK_REAL
 220       structure PackRealLittle : PACK_REAL
 221       structure PackWord16Big : PACK_WORD
 222       structure PackWord16Little : PACK_WORD
 223       structure PackWord32Big : PACK_WORD
 224       structure PackWord32Little : PACK_WORD
 225       structure PackWord64Big : PACK_WORD
 226       structure PackWord64Little : PACK_WORD
 227       structure Posix : POSIX
 228       structure Real32 : REAL
 229       structure Real32Array : MONO_ARRAY
 230       structure Real32Array2 : MONO_ARRAY2
 231       structure Real32ArraySlice : MONO_ARRAY_SLICE
 232       structure Real32Vector : MONO_VECTOR
 233       structure Real32VectorSlice : MONO_VECTOR_SLICE
 234       structure Real64 : REAL
 235       structure Real64Array : MONO_ARRAY
 236       structure Real64Array2 : MONO_ARRAY2
 237       structure Real64ArraySlice : MONO_ARRAY_SLICE
 238       structure Real64Vector : MONO_VECTOR
 239       structure Real64VectorSlice : MONO_VECTOR_SLICE
 240       structure RealArray : MONO_ARRAY
 241       structure RealArray2 : MONO_ARRAY2
 242       structure RealArraySlice : MONO_ARRAY_SLICE
 243       structure RealVector : MONO_VECTOR
 244       structure RealVectorSlice : MONO_VECTOR_SLICE
 245       structure Socket : SOCKET
 246       structure SysWord : WORD
 247       structure Unix : UNIX
 248       structure UnixSock : UNIX_SOCK
 249       structure WideChar : CHAR
 250       structure WideCharArray : MONO_ARRAY
 251       structure WideCharArray2 : MONO_ARRAY2
 252       structure WideCharArraySlice : MONO_ARRAY_SLICE
 253       structure WideCharVector : MONO_VECTOR
 254       structure WideCharVectorSlice : MONO_VECTOR_SLICE
 255       structure WideString : STRING
 256       structure WideSubstring : SUBSTRING
 257       structure WideText : TEXT
 258 (*
 259       structure WideTextIO : TEXT_IO
 260       structure WideTextPrimIO : PRIM_IO
 261 *)
 262 (*
 263       structure Windows : WINDOWS
 264 *)
 265       structure Word1: WORD
 266       structure Word2: WORD
 267       structure Word3: WORD
 268       structure Word4: WORD
 269       structure Word5: WORD
 270       structure Word6: WORD
 271       structure Word7: WORD
 272       structure Word8: WORD
 273       structure Word9: WORD
 274       structure Word10: WORD
 275       structure Word11: WORD
 276       structure Word12: WORD
 277       structure Word13: WORD
 278       structure Word14: WORD
 279       structure Word15: WORD
 280       structure Word16: WORD
 281       structure Word17: WORD
 282       structure Word18: WORD
 283       structure Word19: WORD
 284       structure Word20: WORD
 285       structure Word21: WORD
 286       structure Word22: WORD
 287       structure Word23: WORD
 288       structure Word24: WORD
 289       structure Word25: WORD
 290       structure Word26: WORD
 291       structure Word27: WORD
 292       structure Word28: WORD
 293       structure Word29: WORD
 294       structure Word30: WORD
 295       structure Word31: WORD
 296       structure Word32: WORD
 297       structure Word64: WORD
 298       structure WordArray : MONO_ARRAY
 299       structure WordArray2 : MONO_ARRAY2
 300       structure WordArraySlice : MONO_ARRAY_SLICE
 301       structure WordVector : MONO_VECTOR
 302       structure WordVectorSlice : MONO_VECTOR_SLICE
 303       structure Word16Array : MONO_ARRAY
 304       structure Word16Array2 : MONO_ARRAY2
 305       structure Word16ArraySlice : MONO_ARRAY_SLICE
 306       structure Word16Vector : MONO_VECTOR
 307       structure Word16VectorSlice : MONO_VECTOR_SLICE
 308       structure Word32Array : MONO_ARRAY
 309       structure Word32Array2 : MONO_ARRAY2
 310       structure Word32ArraySlice : MONO_ARRAY_SLICE
 311       structure Word32Vector : MONO_VECTOR
 312       structure Word32VectorSlice : MONO_VECTOR_SLICE
 313       structure Word64Array : MONO_ARRAY
 314       structure Word64Array2 : MONO_ARRAY2
 315       structure Word64ArraySlice : MONO_ARRAY_SLICE
 316       structure Word64Vector : MONO_VECTOR
 317       structure Word64VectorSlice : MONO_VECTOR_SLICE
 318
 319       (* ************************************************** *)
 320       (* ************************************************** *)
 321
 322       (* Sharing constraints *)
 323
 324       (* Top-level types *)
 325       sharing type unit = General.unit
 326       sharing type int = Int.int
 327       sharing type word = Word.word
 328       sharing type real = Real.real
 329       sharing type char = Char.char
 330       sharing type string = String.string
 331       sharing type substring = Substring.substring
 332       sharing type exn = General.exn
 333 (* Can't use sharing on type array or vector, because they are rigid tycons.
 334  * Don't need it anyways, since it's built into the ARRAY and VECTOR signatures.
 335  *)
 336 (*
 337       sharing type array = Array.array
 338       sharing type vector = Vector.vector
 339 *)
 340 (*
 341       sharing type ref = General.ref
 342 *)
 343 (*
 344       sharing type bool = Bool.bool
 345 *)
 346       sharing type option = Option.option
 347       sharing type order = General.order
 348 (*
 349       sharing type list = List.list
 350 *)
 351
 352       (* Required structures *)
 353 (*
 354       sharing type BinIO.StreamIO.elem = Word8.word
 355 *)
 356       sharing type BinIO.StreamIO.reader = BinPrimIO.reader
 357       sharing type BinIO.StreamIO.pos = BinPrimIO.pos
 358 (*
 359       sharing type BinIO.StreamIO.vector = Word8Vector.vector
 360 *)
 361       sharing type BinIO.StreamIO.writer = BinPrimIO.writer
 362       sharing type BinPrimIO.array = Word8Array.array
 363       sharing type BinPrimIO.array_slice = Word8ArraySlice.slice
 364       sharing type BinPrimIO.elem = Word8.word
 365       sharing type BinPrimIO.pos = Position.int
 366       sharing type BinPrimIO.vector = Word8Vector.vector
 367       sharing type BinPrimIO.vector_slice = Word8VectorSlice.slice
 368       sharing type Char.char = char
 369       sharing type Char.string = String.string
 370       sharing type CharArray.elem = char
 371       sharing type CharArray.vector = CharVector.vector
 372       sharing type CharArraySlice.elem = char
 373       sharing type CharArraySlice.array = CharArray.array
 374       sharing type CharArraySlice.vector = CharVector.vector
 375       sharing type CharArraySlice.vector_slice = CharVectorSlice.slice
 376       sharing type CharVector.elem = char
 377       sharing type CharVector.vector = String.string
 378       sharing type CharVectorSlice.elem = char
 379       sharing type CharVectorSlice.vector = String.string
 380       sharing type CharVectorSlice.slice = Substring.substring
 381       sharing type Int.int = int
 382       sharing type Math.real = Real.real
 383       sharing type Real.real = real
 384       sharing type String.string = string
 385       sharing type String.string = CharVector.vector
 386       sharing type String.char = Char.char
 387       sharing type Substring.substring = CharVectorSlice.slice
 388       sharing type Substring.string = String.string
 389       sharing type Substring.char = Char.char
 390       sharing type Text.Char.char = Char.char
 391       sharing type Text.String.string = String.string
 392       sharing type Text.Substring.substring = Substring.substring
 393       sharing type Text.CharVector.vector = CharVector.vector
 394       sharing type Text.CharArray.array = CharArray.array
 395       sharing type Text.CharArraySlice.slice = CharArraySlice.slice
 396       sharing type Text.CharVectorSlice.slice = CharVectorSlice.slice
 397       (* redundant *)
 398 (*
 399       sharing type TextIO.elem = char
 400       sharing type TextIO.vector = string
 401 *)
 402       sharing type TextPrimIO.array = CharArray.array
 403       sharing type TextPrimIO.array_slice = CharArraySlice.slice
 404       sharing type TextPrimIO.elem = Char.char
 405       sharing type TextPrimIO.pos = Position.int
 406       sharing type TextPrimIO.vector = CharVector.vector
 407       sharing type TextPrimIO.vector_slice = CharVectorSlice.slice
 408       sharing type Word.word = word
 409       sharing type Word8Array.elem = Word8.word
 410       sharing type Word8Array.vector = Word8Vector.vector
 411       sharing type Word8ArraySlice.elem = Word8.word
 412       sharing type Word8ArraySlice.array = Word8Array.array
 413       sharing type Word8ArraySlice.vector = Word8Vector.vector
 414       sharing type Word8ArraySlice.vector_slice = Word8VectorSlice.slice
 415       sharing type Word8Vector.elem = Word8.word
 416       sharing type Word8VectorSlice.elem = Word8.word
 417       sharing type Word8VectorSlice.vector = Word8Vector.vector
 418       sharing type Word8Array2.elem = Word8.word
 419       sharing type Word8Array2.vector = Word8Vector.vector
 420
 421       (* Optional structures *)
 422       sharing type BoolArray.vector = BoolVector.vector
 423       sharing type BoolArraySlice.array = BoolArray.array
 424       sharing type BoolArraySlice.vector = BoolVector.vector
 425       sharing type BoolArraySlice.vector_slice = BoolVectorSlice.slice
 426       sharing type BoolVectorSlice.vector = BoolVector.vector
 427       sharing type BoolArray2.vector = BoolVector.vector
 428       sharing type CharArray2.elem = char
 429       sharing type CharArray2.vector = CharVector.vector
 430       sharing type IntArray.elem = int
 431       sharing type IntArray.vector = IntVector.vector
 432       sharing type IntArraySlice.elem = int
 433       sharing type IntArraySlice.array = IntArray.array
 434       sharing type IntArraySlice.vector = IntVector.vector
 435       sharing type IntArraySlice.vector_slice = IntVectorSlice.slice
 436       sharing type IntVector.elem = int
 437       sharing type IntVectorSlice.elem = int
 438       sharing type IntVectorSlice.vector = IntVector.vector
 439       sharing type IntArray2.elem = int
 440       sharing type IntArray2.vector = IntVector.vector
 441       sharing type Int8Array.elem = Int8.int
 442       sharing type Int8Array.vector = Int8Vector.vector
 443       sharing type Int8ArraySlice.elem = Int8.int
 444       sharing type Int8ArraySlice.array = Int8Array.array
 445       sharing type Int8ArraySlice.vector = Int8Vector.vector
 446       sharing type Int8ArraySlice.vector_slice = Int8VectorSlice.slice
 447       sharing type Int8Vector.elem = Int8.int
 448       sharing type Int8VectorSlice.elem = Int8.int
 449       sharing type Int8VectorSlice.vector = Int8Vector.vector
 450       sharing type Int8Array2.elem = Int8.int
 451       sharing type Int8Array2.vector = Int8Vector.vector
 452       sharing type Int16Array.elem = Int16.int
 453       sharing type Int16Array.vector = Int16Vector.vector
 454       sharing type Int16ArraySlice.elem = Int16.int
 455       sharing type Int16ArraySlice.array = Int16Array.array
 456       sharing type Int16ArraySlice.vector = Int16Vector.vector
 457       sharing type Int16ArraySlice.vector_slice = Int16VectorSlice.slice
 458       sharing type Int16Vector.elem = Int16.int
 459       sharing type Int16VectorSlice.elem = Int16.int
 460       sharing type Int16VectorSlice.vector = Int16Vector.vector
 461       sharing type Int16Array2.elem = Int16.int
 462       sharing type Int16Array2.vector = Int16Vector.vector
 463       sharing type Int32Array.elem = Int32.int
 464       sharing type Int32Array.vector = Int32Vector.vector
 465       sharing type Int32ArraySlice.elem = Int32.int
 466       sharing type Int32ArraySlice.array = Int32Array.array
 467       sharing type Int32ArraySlice.vector = Int32Vector.vector
 468       sharing type Int32ArraySlice.vector_slice = Int32VectorSlice.slice
 469       sharing type Int32Vector.elem = Int32.int
 470       sharing type Int32VectorSlice.elem = Int32.int
 471       sharing type Int32VectorSlice.vector = Int32Vector.vector
 472       sharing type Int32Array2.elem = Int32.int
 473       sharing type Int32Array2.vector = Int32Vector.vector
 474       sharing type Int64Array.elem = Int64.int
 475       sharing type Int64Array.vector = Int64Vector.vector
 476       sharing type Int64ArraySlice.elem = Int64.int
 477       sharing type Int64ArraySlice.array = Int64Array.array
 478       sharing type Int64ArraySlice.vector = Int64Vector.vector
 479       sharing type Int64ArraySlice.vector_slice = Int64VectorSlice.slice
 480       sharing type Int64Vector.elem = Int64.int
 481       sharing type Int64VectorSlice.elem = Int64.int
 482       sharing type Int64VectorSlice.vector = Int64Vector.vector
 483       sharing type Int64Array2.elem = Int64.int
 484       sharing type Int64Array2.vector = Int64Vector.vector
 485       sharing type LargeIntArray.elem = LargeInt.int
 486       sharing type LargeIntArray.vector = LargeIntVector.vector
 487       sharing type LargeIntArraySlice.elem = LargeInt.int
 488       sharing type LargeIntArraySlice.array = LargeIntArray.array
 489       sharing type LargeIntArraySlice.vector = LargeIntVector.vector
 490       sharing type LargeIntArraySlice.vector_slice = LargeIntVectorSlice.slice
 491       sharing type LargeIntVector.elem = LargeInt.int
 492       sharing type LargeIntVectorSlice.elem = LargeInt.int
 493       sharing type LargeIntVectorSlice.vector = LargeIntVector.vector
 494       sharing type LargeIntArray2.elem = LargeInt.int
 495       sharing type LargeIntArray2.vector = LargeIntVector.vector
 496       sharing type LargeRealArray.elem = LargeReal.real
 497       sharing type LargeRealArray.vector = LargeRealVector.vector
 498       sharing type LargeRealArraySlice.elem = LargeReal.real
 499       sharing type LargeRealArraySlice.array = LargeRealArray.array
 500       sharing type LargeRealArraySlice.vector = LargeRealVector.vector
 501       sharing type LargeRealArraySlice.vector_slice = LargeRealVectorSlice.slice
 502       sharing type LargeRealVector.elem = LargeReal.real
 503       sharing type LargeRealVectorSlice.elem = LargeReal.real
 504       sharing type LargeRealVectorSlice.vector = LargeRealVector.vector
 505       sharing type LargeRealArray2.elem = LargeReal.real
 506       sharing type LargeRealArray2.vector = LargeRealVector.vector
 507       sharing type LargeWordArray.elem = LargeWord.word
 508       sharing type LargeWordArray.vector = LargeWordVector.vector
 509       sharing type LargeWordArraySlice.elem = LargeWord.word
 510       sharing type LargeWordArraySlice.array = LargeWordArray.array
 511       sharing type LargeWordArraySlice.vector = LargeWordVector.vector
 512       sharing type LargeWordArraySlice.vector_slice = LargeWordVectorSlice.slice
 513       sharing type LargeWordVector.elem = LargeWord.word
 514       sharing type LargeWordVectorSlice.elem = LargeWord.word
 515       sharing type LargeWordVectorSlice.vector = LargeWordVector.vector
 516       sharing type LargeWordArray2.elem = LargeWord.word
 517       sharing type LargeWordArray2.vector = LargeWordVector.vector
 518       sharing type PackRealBig.real = real
 519       sharing type PackRealLittle.real = real
 520       sharing type PackReal32Big.real = Real32.real
 521       sharing type PackReal32Little.real = Real32.real
 522       sharing type PackReal64Big.real = Real64.real
 523       sharing type PackReal64Little.real = Real64.real
 524       sharing type Posix.Error.syserror = OS.syserror
 525       sharing type Posix.IO.file_desc = Posix.ProcEnv.file_desc
 526       sharing type Posix.FileSys.dirstream = OS.FileSys.dirstream
 527       sharing type Posix.FileSys.access_mode = OS.FileSys.access_mode
 528       sharing type Posix.Process.exit_status = Unix.exit_status
 529       sharing type Posix.Signal.signal = Unix.signal
 530       sharing type RealArray.elem = real
 531       sharing type RealArray.vector = RealVector.vector
 532       sharing type RealArraySlice.elem = real
 533       sharing type RealArraySlice.array = RealArray.array
 534       sharing type RealArraySlice.vector = RealVector.vector
 535       sharing type RealArraySlice.vector_slice = RealVectorSlice.slice
 536       sharing type RealVector.elem = real
 537       sharing type RealVectorSlice.elem = real
 538       sharing type RealVectorSlice.vector = RealVector.vector
 539       sharing type RealArray2.elem = real
 540       sharing type RealArray2.vector = RealVector.vector
 541       sharing type Real32Array.elem = Real32.real
 542       sharing type Real32Array.vector = Real32Vector.vector
 543       sharing type Real32ArraySlice.elem = Real32.real
 544       sharing type Real32ArraySlice.array = Real32Array.array
 545       sharing type Real32ArraySlice.vector = Real32Vector.vector
 546       sharing type Real32ArraySlice.vector_slice = Real32VectorSlice.slice
 547       sharing type Real32Vector.elem = Real32.real
 548       sharing type Real32VectorSlice.elem = Real32.real
 549       sharing type Real32VectorSlice.vector = Real32Vector.vector
 550       sharing type Real32Array2.elem = Real32.real
 551       sharing type Real32Array2.vector = Real32Vector.vector
 552       sharing type Real64Array.elem = Real64.real
 553       sharing type Real64Array.vector = Real64Vector.vector
 554       sharing type Real64ArraySlice.elem = Real64.real
 555       sharing type Real64ArraySlice.array = Real64Array.array
 556       sharing type Real64ArraySlice.vector = Real64Vector.vector
 557       sharing type Real64ArraySlice.vector_slice = Real64VectorSlice.slice
 558       sharing type Real64Vector.elem = Real64.real
 559       sharing type Real64VectorSlice.elem = Real64.real
 560       sharing type Real64VectorSlice.vector = Real64Vector.vector
 561       sharing type Real64Array2.elem = Real64.real
 562       sharing type Real64Array2.vector = Real64Vector.vector
 563       sharing type Unix.exit_status = Posix.Process.exit_status
 564       sharing type WideChar.string = WideString.string
 565       sharing type WideCharArray.elem = WideChar.char
 566       sharing type WideCharArray.vector = WideCharVector.vector
 567       sharing type WideCharArray2.elem = WideChar.char
 568       sharing type WideCharArray2.vector = WideCharVector.vector
 569       sharing type WideCharArraySlice.elem = WideChar.char
 570       sharing type WideCharArraySlice.array = WideCharArray.array
 571       sharing type WideCharArraySlice.vector = WideCharVector.vector
 572       sharing type WideCharArraySlice.vector_slice = WideCharVectorSlice.slice
 573       sharing type WideCharVector.elem = WideChar.char
 574       sharing type WideCharVector.vector = WideString.string
 575       sharing type WideCharVectorSlice.elem = WideChar.char
 576       sharing type WideCharVectorSlice.slice = WideSubstring.substring
 577       sharing type WideCharVectorSlice.vector = WideString.string
 578       sharing type WideString.char = WideChar.char
 579       (* next two are redundant? basis & char both do it... *)
 580       sharing type WideString.string = WideCharVector.vector
 581       sharing type WideSubstring.substring = WideCharVectorSlice.slice
 582       sharing type WideSubstring.string = WideString.string
 583       sharing type WideSubstring.char = WideChar.char
 584       sharing type WideText.Char.char = WideChar.char
 585       sharing type WideText.String.string = WideString.string
 586       sharing type WideText.Substring.substring = WideSubstring.substring
 587       sharing type WideText.CharVector.vector = WideCharVector.vector
 588       sharing type WideText.CharArray.array = WideCharArray.array
 589       sharing type WideText.CharArraySlice.slice = WideCharArraySlice.slice
 590       sharing type WideText.CharVectorSlice.slice = WideCharVectorSlice.slice
 591       sharing type WordArray.elem = word
 592       sharing type WordArray.vector = WordVector.vector
 593       sharing type WordArraySlice.elem = word
 594       sharing type WordArraySlice.array = WordArray.array
 595       sharing type WordArraySlice.vector = WordVector.vector
 596       sharing type WordArraySlice.vector_slice = WordVectorSlice.slice
 597       sharing type WordVector.elem = word
 598       sharing type WordVectorSlice.elem = word
 599       sharing type WordVectorSlice.vector = WordVector.vector
 600       sharing type WordArray2.elem = word
 601       sharing type WordArray2.vector = WordVector.vector
 602       sharing type Word16Array.elem = Word16.word
 603       sharing type Word16Array.vector = Word16Vector.vector
 604       sharing type Word16ArraySlice.elem = Word16.word
 605       sharing type Word16ArraySlice.array = Word16Array.array
 606       sharing type Word16ArraySlice.vector = Word16Vector.vector
 607       sharing type Word16ArraySlice.vector_slice = Word16VectorSlice.slice
 608       sharing type Word16Vector.elem = Word16.word
 609       sharing type Word16VectorSlice.elem = Word16.word
 610       sharing type Word16VectorSlice.vector = Word16Vector.vector
 611       sharing type Word16Array2.elem = Word16.word
 612       sharing type Word16Array2.vector = Word16Vector.vector
 613       sharing type Word32Array.elem = Word32.word
 614       sharing type Word32Array.vector = Word32Vector.vector
 615       sharing type Word32ArraySlice.elem = Word32.word
 616       sharing type Word32ArraySlice.array = Word32Array.array
 617       sharing type Word32ArraySlice.vector = Word32Vector.vector
 618       sharing type Word32ArraySlice.vector_slice = Word32VectorSlice.slice
 619       sharing type Word32Vector.elem = Word32.word
 620       sharing type Word32VectorSlice.elem = Word32.word
 621       sharing type Word32VectorSlice.vector = Word32Vector.vector
 622       sharing type Word32Array2.elem = Word32.word
 623       sharing type Word32Array2.vector = Word32Vector.vector
 624       sharing type Word64Array.elem = Word64.word
 625       sharing type Word64Array.vector = Word64Vector.vector
 626       sharing type Word64ArraySlice.elem = Word64.word
 627       sharing type Word64ArraySlice.array = Word64Array.array
 628       sharing type Word64ArraySlice.vector = Word64Vector.vector
 629       sharing type Word64ArraySlice.vector_slice = Word64VectorSlice.slice
 630       sharing type Word64Vector.elem = Word64.word
 631       sharing type Word64VectorSlice.elem = Word64.word
 632       sharing type Word64VectorSlice.vector = Word64Vector.vector
 633       sharing type Word64Array2.elem = Word64.word
 634       sharing type Word64Array2.vector = Word64Vector.vector
 635    end