open Prims
type 'uuuuu seq = unit
let index (uu___ : 'a seq) (uu___1 : Prims.int) : 'a=
  failwith "Not yet implemented: FStar.Axiomatic.Array.index"
let update (uu___ : 'a seq) (uu___1 : Prims.int) (uu___2 : 'a) : 'a seq=
  failwith "Not yet implemented: FStar.Axiomatic.Array.update"
let emp (uu___ : unit) : 'a seq=
  failwith "Not yet implemented: FStar.Axiomatic.Array.emp"
let create (uu___ : Prims.int) (uu___1 : 'a) : 'a seq=
  failwith "Not yet implemented: FStar.Axiomatic.Array.create"
let length (uu___ : 'a seq) : Prims.nat=
  failwith "Not yet implemented: FStar.Axiomatic.Array.length"
let slice (uu___ : 'a seq) (uu___1 : Prims.int) (uu___2 : Prims.int) :
  'a seq= failwith "Not yet implemented: FStar.Axiomatic.Array.slice"
let append (uu___ : 'a seq) (uu___1 : 'a seq) : 'a seq=
  failwith "Not yet implemented: FStar.Axiomatic.Array.append"
let proj_some (uu___ : 'a FStar_Pervasives_Native.option seq) : 'a seq=
  failwith "Not yet implemented: FStar.Axiomatic.Array.proj_some"
type ('a, 'uuuuu, 'uuuuu1) equal = unit
type 'a array = 'a seq FStar_Heap.ref
type ('a, 's) is_Some_All = unit
