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