From 8ac8d00b2958d007facb5162196831d0a2138db8 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 13 Oct 2023 10:31:06 +0200
Subject: Update Primitives.fst

---
 backends/fstar/Primitives.fst | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/backends/fstar/Primitives.fst b/backends/fstar/Primitives.fst
index cd18cf29..e9391834 100644
--- a/backends/fstar/Primitives.fst
+++ b/backends/fstar/Primitives.fst
@@ -352,6 +352,9 @@ let array_subslice_mut_fwd (a : Type0) (n : usize) (x : array a n) (r : range us
 let array_subslice_mut_back (a : Type0) (n : usize) (x : array a n) (r : range usize) (ns : slice a) : result (array a n) =
   admit()
 
+let array_repeat (a : Type0) (n : usize) (x : a) : array a n =
+  admit()
+
 let slice_subslice_shared (a : Type0) (x : slice a) (r : range usize) : result (slice a) =
   admit()
 
-- 
cgit v1.2.3