diff --git a/array/pkg.generated.mbti b/array/pkg.generated.mbti
index b6038057c..8c2ad2848 100644
--- a/array/pkg.generated.mbti
+++ b/array/pkg.generated.mbti
@@ -94,6 +94,7 @@ fn[T, U] ArrayView::map(Self[T], (T) -> U raise?) -> Array[U] raise?
 fn[T, U] ArrayView::mapi(Self[T], (Int, T) -> U raise?) -> Array[U] raise?
 fn[A, B] ArrayView::rev_fold(Self[A], init~ : B, (B, A) -> B raise?) -> B raise?
 fn[A, B] ArrayView::rev_foldi(Self[A], init~ : B, (Int, B, A) -> B raise?) -> B raise?
+fn[T] ArrayView::start_offset(Self[T]) -> Int
 fn[T] ArrayView::to_array(Self[T]) -> Array[T]
 fn ArrayView::unsafe_extract_bit(Self[Byte], Int, Int) -> UInt
 fn ArrayView::unsafe_extract_byte(Self[Byte], Int, Int) -> UInt
diff --git a/array/view.mbt b/array/view.mbt
index 5d4685c43..0b3c171f9 100644
--- a/array/view.mbt
+++ b/array/view.mbt
@@ -457,3 +457,11 @@ pub impl[A : @quickcheck.Arbitrary] @quickcheck.Arbitrary for ArrayView[A] with
 ) {
   Array::arbitrary(size, rs)[:]
 }
+
+///|
+fn[T] ArrayView::start(self : ArrayView[T]) -> Int = "%arrayview.start"
+
+///|
+pub fn[T] ArrayView::start_offset(self : Self[T]) -> Int {
+  self.start()
+}