Menu
▾
▴
[MLton-commit] r4812
|
From: Vesa K. <ve...@ml...> - 2006-11-08 06:20:33
|
Added convenience alias type t for the (more or less abstract) type
defined by each structure.
----------------------------------------------------------------------
U mltonlib/trunk/com/ssh/extended-basis/unstable/detail/array.sml
A mltonlib/trunk/com/ssh/extended-basis/unstable/detail/bool.sml
U mltonlib/trunk/com/ssh/extended-basis/unstable/detail/list.sml
U mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mk-integer-ext.fun
U mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mk-mono-array-ext.fun
U mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mk-mono-vector-ext.fun
U mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mk-real-ext.fun
U mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mk-text-ext.fun
U mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mk-word-ext.fun
A mltonlib/trunk/com/ssh/extended-basis/unstable/detail/option.sml
U mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/unsealed.cm
U mltonlib/trunk/com/ssh/extended-basis/unstable/detail/vector.sml
U mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.mlb
U mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.use
U mltonlib/trunk/com/ssh/extended-basis/unstable/public/array.sig
A mltonlib/trunk/com/ssh/extended-basis/unstable/public/bool.sig
U mltonlib/trunk/com/ssh/extended-basis/unstable/public/char.sig
U mltonlib/trunk/com/ssh/extended-basis/unstable/public/export.sml
U mltonlib/trunk/com/ssh/extended-basis/unstable/public/int-inf.sig
U mltonlib/trunk/com/ssh/extended-basis/unstable/public/integer.sig
U mltonlib/trunk/com/ssh/extended-basis/unstable/public/list.sig
U mltonlib/trunk/com/ssh/extended-basis/unstable/public/mono-array.sig
U mltonlib/trunk/com/ssh/extended-basis/unstable/public/mono-vector.sig
A mltonlib/trunk/com/ssh/extended-basis/unstable/public/option.sig
U mltonlib/trunk/com/ssh/extended-basis/unstable/public/real.sig
U mltonlib/trunk/com/ssh/extended-basis/unstable/public/string.sig
U mltonlib/trunk/com/ssh/extended-basis/unstable/public/substring.sig
U mltonlib/trunk/com/ssh/extended-basis/unstable/public/vector.sig
U mltonlib/trunk/com/ssh/extended-basis/unstable/public/word.sig
----------------------------------------------------------------------
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/array.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/array.sml 2006-11-07 03:45:26 UTC (rev 4811)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/array.sml 2006-11-08 14:20:18 UTC (rev 4812)
@@ -9,6 +9,7 @@
*)
structure Array : ARRAY = struct
open Array
+ type 'a t = 'a array
fun toList a = foldr op :: [] a
val isoList = (toList, fromList)
val toVector = vector
Added: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/bool.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/bool.sml 2006-11-07 03:45:26 UTC (rev 4811)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/bool.sml 2006-11-08 14:20:18 UTC (rev 4812)
@@ -0,0 +1,13 @@
+(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
+ *
+ * MLton is released under a BSD-style license.
+ * See the file MLton-LICENSE for details.
+ *)
+
+(**
+ * Extended {Bool : BOOL} structure.
+ *)
+structure Bool : BOOL = struct
+ open Bool
+ type t = bool
+end
Property changes on: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/bool.sml
___________________________________________________________________
Name: svn:eol-style
+ native
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/list.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/list.sml 2006-11-07 03:45:26 UTC (rev 4811)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/list.sml 2006-11-08 14:20:18 UTC (rev 4812)
@@ -9,5 +9,6 @@
*)
structure List : LIST = struct
open List
+ type 'a t = 'a list
val sub = nth
end
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mk-integer-ext.fun
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mk-integer-ext.fun 2006-11-07 03:45:26 UTC (rev 4811)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mk-integer-ext.fun 2006-11-08 14:20:18 UTC (rev 4812)
@@ -9,6 +9,7 @@
*)
functor MkIntegerExt (I : INTEGER) = struct
open I
+ type t = int
val embString = (toString, fromString)
val isoInt = (toInt, fromInt)
val isoLarge = (toLarge, fromLarge)
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mk-mono-array-ext.fun
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mk-mono-array-ext.fun 2006-11-07 03:45:26 UTC (rev 4811)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mk-mono-array-ext.fun 2006-11-08 14:20:18 UTC (rev 4812)
@@ -12,6 +12,7 @@
where type elem = MonoVector.elem
where type vector = MonoVector.vector) = struct
open MonoArray
+ type t = array
fun toList a = foldr op :: [] a
val isoList = (toList, fromList)
val toVector = vector
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mk-mono-vector-ext.fun
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mk-mono-vector-ext.fun 2006-11-07 03:45:26 UTC (rev 4811)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mk-mono-vector-ext.fun 2006-11-08 14:20:18 UTC (rev 4812)
@@ -9,6 +9,7 @@
*)
functor MkMonoVectorExt (M : MONO_VECTOR) = struct
open M
+ type t = vector
fun toList v = foldr op :: [] v
val isoList = (toList, fromList)
(* XXX It would be nice to avoid copying in toPoly and fromPoly *)
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mk-real-ext.fun
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mk-real-ext.fun 2006-11-07 03:45:26 UTC (rev 4811)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mk-real-ext.fun 2006-11-08 14:20:18 UTC (rev 4812)
@@ -9,6 +9,7 @@
*)
functor MkRealExt (R : REAL) = struct
open R
+ type t = real
val embDecimal = (toDecimal, fromDecimal)
val embString = (toString, fromString)
fun isoInt mode = (toInt mode, fromInt)
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mk-text-ext.fun
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mk-text-ext.fun 2006-11-07 03:45:26 UTC (rev 4811)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mk-text-ext.fun 2006-11-08 14:20:18 UTC (rev 4812)
@@ -12,6 +12,7 @@
structure Char = struct
open Char
+ type t = char
val minOrd = 0
val boundsChar = (minChar, maxChar)
val boundsOrd = (minOrd, maxOrd)
@@ -25,6 +26,7 @@
structure String = struct
open CharVector String
+ type t = string
val embCString = (toCString, fromCString)
val embString = (toString, fromString)
val isoList = (explode, implode)
@@ -32,6 +34,7 @@
structure Substring = struct
open Substring
+ type t = substring
val length = size
end
end
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mk-word-ext.fun
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mk-word-ext.fun 2006-11-07 03:45:26 UTC (rev 4811)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mk-word-ext.fun 2006-11-08 14:20:18 UTC (rev 4812)
@@ -9,6 +9,7 @@
*)
functor MkWordExt (W : WORD) = struct
open W
+ type t = word
val bounds as (minWord, maxWord) = (fromInt 0, fromInt~1)
val fromWord = fromLarge o Word.toLarge
val fromWordX = fromLarge o Word.toLargeX
Added: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/option.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/option.sml 2006-11-07 03:45:26 UTC (rev 4811)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/option.sml 2006-11-08 14:20:18 UTC (rev 4812)
@@ -0,0 +1,13 @@
+(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
+ *
+ * MLton is released under a BSD-style license.
+ * See the file MLton-LICENSE for details.
+ *)
+
+(**
+ * Extended {Option : OPTION} structure.
+ *)
+structure Option : OPTION = struct
+ open Option
+ type 'a t = 'a option
+end
Property changes on: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/option.sml
___________________________________________________________________
Name: svn:eol-style
+ native
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/unsealed.cm
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/unsealed.cm 2006-11-07 03:45:26 UTC (rev 4811)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/unsealed.cm 2006-11-08 14:20:18 UTC (rev 4812)
@@ -6,6 +6,7 @@
group is
../../public/array.sig
+ ../../public/bool.sig
../../public/char.sig
../../public/emb.sig
../../public/int-inf.sig
@@ -14,6 +15,7 @@
../../public/list.sig
../../public/mono-array.sig
../../public/mono-vector.sig
+ ../../public/option.sig
../../public/real.sig
../../public/string.sig
../../public/substring.sig
@@ -21,10 +23,12 @@
../../public/vector.sig
../../public/word.sig
../array.sml
+ ../bool.sml
../common.sml
../emb.sml
../iso.sml
../list.sml
+ ../option.sml
../smlnj/ints.sml
../smlnj/mono-arrays.sml
../smlnj/mono-vectors.sml
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/vector.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/vector.sml 2006-11-07 03:45:26 UTC (rev 4811)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/vector.sml 2006-11-08 14:20:18 UTC (rev 4812)
@@ -9,6 +9,7 @@
*)
structure Vector : VECTOR = struct
open Vector
+ type 'a t = 'a vector
fun toList v = foldr op :: [] v
val isoList = (toList, fromList)
end
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.mlb
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.mlb 2006-11-07 03:45:26 UTC (rev 4811)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.mlb 2006-11-08 14:20:18 UTC (rev 4812)
@@ -50,6 +50,8 @@
detail/mk-text-ext.fun
(* Extended signatures *)
+ public/bool.sig
+ public/option.sig
public/int-inf.sig
public/integer.sig
public/real.sig
@@ -65,6 +67,8 @@
public/text.sig
(* Extended modules *)
+ detail/bool.sml
+ detail/option.sml
detail/list.sml
detail/vector.sml
detail/array.sml
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.use
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.use 2006-11-07 03:45:26 UTC (rev 4811)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.use 2006-11-08 14:20:18 UTC (rev 4812)
@@ -33,6 +33,8 @@
"detail/mk-text-ext.fun",
(* Extended signatures *)
+ "public/bool.sig",
+ "public/option.sig",
"public/int-inf.sig",
"public/integer.sig",
"public/real.sig",
@@ -48,6 +50,8 @@
"public/text.sig",
(* Extended modules *)
+ "detail/bool.sml",
+ "detail/option.sml",
"detail/list.sml",
"detail/vector.sml",
"detail/array.sml",
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/array.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/array.sig 2006-11-07 03:45:26 UTC (rev 4811)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/array.sig 2006-11-08 14:20:18 UTC (rev 4812)
@@ -10,6 +10,11 @@
signature ARRAY = sig
include ARRAY
+ type 'a t = 'a array
+ (**
+ * Convenience alias.
+ *)
+
(** == Conversions == *)
val fromVector : 'a vector -> 'a array
Added: mltonlib/trunk/com/ssh/extended-basis/unstable/public/bool.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/bool.sig 2006-11-07 03:45:26 UTC (rev 4811)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/bool.sig 2006-11-08 14:20:18 UTC (rev 4812)
@@ -0,0 +1,17 @@
+(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
+ *
+ * MLton is released under a BSD-style license.
+ * See the file MLton-LICENSE for details.
+ *)
+
+(**
+ * Extended {BOOL} signature.
+ *)
+signature BOOL = sig
+ include BOOL
+
+ type t = bool
+ (**
+ * Convenience alias.
+ *)
+end
Property changes on: mltonlib/trunk/com/ssh/extended-basis/unstable/public/bool.sig
___________________________________________________________________
Name: svn:eol-style
+ native
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/char.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/char.sig 2006-11-07 03:45:26 UTC (rev 4811)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/char.sig 2006-11-08 14:20:18 UTC (rev 4812)
@@ -10,6 +10,11 @@
signature CHAR = sig
include CHAR
+ type t = char
+ (**
+ * Convenience alias.
+ *)
+
(** == Bounds == *)
val minOrd : Int.int
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/export.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/export.sml 2006-11-07 03:45:26 UTC (rev 4811)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/export.sml 2006-11-08 14:20:18 UTC (rev 4812)
@@ -10,6 +10,7 @@
type ('a, 'b) iso = ('a, 'b) Iso.iso
signature ARRAY = ARRAY
+signature BOOL = BOOL
signature CHAR = CHAR
signature EMB = EMB
signature INTEGER = INTEGER
@@ -18,6 +19,7 @@
signature LIST = LIST
signature MONO_ARRAY = MONO_ARRAY
signature MONO_VECTOR = MONO_VECTOR
+signature OPTION = OPTION
signature REAL = REAL
signature STRING = STRING
signature SUBSTRING = SUBSTRING
@@ -26,6 +28,7 @@
signature WORD = WORD
structure Array : ARRAY = Array
+structure Bool : BOOL = Bool
structure Char : CHAR = Char
structure CharArray : MONO_ARRAY = CharArray
structure CharVector : MONO_VECTOR = CharVector
@@ -36,6 +39,7 @@
structure LargeReal : REAL = LargeReal
structure LargeWord : WORD = LargeWord
structure List : LIST = List
+structure Option : OPTION = Option
structure Position : INTEGER = Position
structure Real : REAL = Real
structure String : STRING = String
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/int-inf.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/int-inf.sig 2006-11-07 03:45:26 UTC (rev 4811)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/int-inf.sig 2006-11-08 14:20:18 UTC (rev 4812)
@@ -10,6 +10,11 @@
signature INT_INF = sig
include INT_INF
+ type t = int
+ (**
+ * Convenience alias.
+ *)
+
(** == Bounds == *)
val bounds : (int * int) option
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/integer.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/integer.sig 2006-11-07 03:45:26 UTC (rev 4811)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/integer.sig 2006-11-08 14:20:18 UTC (rev 4812)
@@ -10,6 +10,11 @@
signature INTEGER = sig
include INTEGER
+ type t = int
+ (**
+ * Convenience alias.
+ *)
+
(** == Bounds == *)
val bounds : (int * int) option
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/list.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/list.sig 2006-11-07 03:45:26 UTC (rev 4811)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/list.sig 2006-11-08 14:20:18 UTC (rev 4812)
@@ -10,6 +10,11 @@
signature LIST = sig
include LIST
+ type 'a t = 'a list
+ (**
+ * Convenience alias.
+ *)
+
val sub : 'a list * int -> 'a
(**
* {sub (l, i)} returns the {i}th element of the list {l}. This is
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/mono-array.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/mono-array.sig 2006-11-07 03:45:26 UTC (rev 4811)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/mono-array.sig 2006-11-08 14:20:18 UTC (rev 4812)
@@ -10,6 +10,11 @@
signature MONO_ARRAY = sig
include MONO_ARRAY
+ type t = array
+ (**
+ * Convenience alias.
+ *)
+
(** == Conversions == *)
val fromPoly : elem Array.array -> array
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/mono-vector.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/mono-vector.sig 2006-11-07 03:45:26 UTC (rev 4811)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/mono-vector.sig 2006-11-08 14:20:18 UTC (rev 4812)
@@ -10,6 +10,11 @@
signature MONO_VECTOR = sig
include MONO_VECTOR
+ type t = vector
+ (**
+ * Convenience alias.
+ *)
+
(** == Conversions == *)
val fromPoly : elem Vector.vector -> vector
Added: mltonlib/trunk/com/ssh/extended-basis/unstable/public/option.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/option.sig 2006-11-07 03:45:26 UTC (rev 4811)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/option.sig 2006-11-08 14:20:18 UTC (rev 4812)
@@ -0,0 +1,17 @@
+(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
+ *
+ * MLton is released under a BSD-style license.
+ * See the file MLton-LICENSE for details.
+ *)
+
+(**
+ * Extended {OPTION} signature.
+ *)
+signature OPTION = sig
+ include OPTION
+
+ type 'a t = 'a option
+ (**
+ * Convenience alias.
+ *)
+end
Property changes on: mltonlib/trunk/com/ssh/extended-basis/unstable/public/option.sig
___________________________________________________________________
Name: svn:eol-style
+ native
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/real.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/real.sig 2006-11-07 03:45:26 UTC (rev 4811)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/real.sig 2006-11-08 14:20:18 UTC (rev 4812)
@@ -10,6 +10,11 @@
signature REAL = sig
include REAL
+ type t = real
+ (**
+ * Convenience alias.
+ *)
+
(** == Embeddings == *)
val embDecimal : (real, IEEEReal.decimal_approx) Emb.emb
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/string.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/string.sig 2006-11-07 03:45:26 UTC (rev 4811)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/string.sig 2006-11-08 14:20:18 UTC (rev 4812)
@@ -10,6 +10,11 @@
signature STRING = sig
include STRING
+ type t = string
+ (**
+ * Convenience alias.
+ *)
+
(** == Embeddings == *)
val embCString : (string, string) Emb.emb
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/substring.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/substring.sig 2006-11-07 03:45:26 UTC (rev 4811)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/substring.sig 2006-11-08 14:20:18 UTC (rev 4812)
@@ -10,6 +10,11 @@
signature SUBSTRING = sig
include SUBSTRING
+ type t = substring
+ (**
+ * Convenience alias.
+ *)
+
val length : substring -> int
(**
* Returns the size of the given substring. This is equivalent to
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/vector.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/vector.sig 2006-11-07 03:45:26 UTC (rev 4811)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/vector.sig 2006-11-08 14:20:18 UTC (rev 4812)
@@ -10,6 +10,11 @@
signature VECTOR = sig
include VECTOR
+ type 'a t = 'a vector
+ (**
+ * Convenience alias.
+ *)
+
(** == Conversions == *)
val toList : 'a vector -> 'a list
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/word.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/word.sig 2006-11-07 03:45:26 UTC (rev 4811)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/word.sig 2006-11-08 14:20:18 UTC (rev 4812)
@@ -10,6 +10,11 @@
signature WORD = sig
include WORD
+ type t = word
+ (**
+ * Convenience alias.
+ *)
+
(** == Bounds == *)
val maxWord : word
|
