val array_t : a: Type -> Type
let array_t = FStar.ImmutableArray.t
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
a: Type -> Type
FStar.ImmutableArray.Base.t
let array_t =
  
FStar.ImmutableArray.t