sig
  type t = int * int
  val zero : Vector.t
  val ( ++ ) : Vector.t -> Vector.t -> Vector.t
  val ( -- ) : Vector.t -> Vector.t -> Vector.t
  val ( ** ) : Vector.t -> int -> Vector.t
  val ( // ) : Vector.t -> int -> Vector.t
  val length : Vector.t -> float
end