signature MLTON_MONO_VECTOR =
   sig
      type t
      type elem
      val fromPoly: elem vector -> t
      val toPoly: t -> elem vector
   end

  • type t

    type of monomorphic vector

  • type elem

    type of vector elements

  • fromPoly v

    type cast a polymorphic vector to its monomorphic counterpart; in MLton, this is a constant-time operation

  • toPoly v

    type cast a monomorphic vector to its polymorphic counterpart; in MLton, this is a constant-time operation