MONO_DYNAMIC_ARRAY
signature
signature MONO_DYNAMIC_ARRAY
type elem
type array
val array : (int * elem) -> array
val subArray : (array * int * int) -> array
val fromList : (elem list * elem) -> array
val tabulate : (int * (int -> elem) * elem) -> array
val default : array -> elem
val sub : (array * int) -> elem
val update : (array * int * elem) -> unit
val bound : array -> int
val truncate : (array * int) -> unit
type elem
type array
array (i, el)
subArray (arr, i, j)
fromList (l, el)
tabulate (i, f, el)
default arr
sub (arr, i)
update (arr, i, el)
bound arr
truncate (arr, i)
Last Modified May 29, 1996
Copyright © 1996 AT&T Research