val array_len : s: FStar.ImmutableArray.Base.t _ -> Prims.nat
let array_len = FStar.ImmutableArray.length
module Util.ImmutableArray

open FStar.ImmutableArray
open Spec.List
open Spec.Ubool
open Util.List
open Util.Nth
open Util.Range
/
Util.Range.fsti.checked Util.Nth.fst.checked Util.List.fst.checked Spec.Ubool.fst.checked Spec.List.fst.checked prims.fst.checked FStar.Pervasives.fsti.checked FStar.ImmutableArray.fsti.checked
Util.ImmutableArray.fsti
s: FStar.ImmutableArray.Base.t _ -> Prims.nat
FStar.ImmutableArray.Base.length FStar.ImmutableArray.Base.t Prims.nat
let array_len =
  
FStar.ImmutableArray.length