signature MLTON_MONO_ARRAY =
sig
type t
type elem
val fromPoly: elem array -> t
val toPoly: t -> elem array
end-
type ttype of monomorphic array
-
type elemtype of array elements
-
fromPoly atype cast a polymorphic array to its monomorphic counterpart; the argument and result arrays share the same identity
-
toPoly atype cast a monomorphic array to its polymorphic counterpart; the argument and result arrays share the same identity