val list_to_array : l: Prims.list _ -> FStar.ImmutableArray.Base.t _
let list_to_array = FStar.ImmutableArray.of_list
module Util.ImmutableArray

open FStar.ImmutableArray
open Spec.List
open Spec.Ubool
open Util.List
open Util.Nth
open Util.Range

let array_t = FStar.ImmutableArray.t
let array_len = FStar.ImmutableArray.length
/
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
l: Prims.list _ -> FStar.ImmutableArray.Base.t _
FStar.ImmutableArray.Base.of_list Prims.list FStar.ImmutableArray.Base.t
let list_to_array =
  
FStar.ImmutableArray.of_list