val null (#a:Type0) : ref a
let null #a = A.null #a
val null (#a:Type0) : ref a
let null #a =
A.null #a
Steel.ArrayRef.fst.checked
Steel.Array.fsti.checked prims.fst.checked FStar.SizeT.fsti.checked FStar.Seq.fst.checked FStar.Pervasives.fsti.checked
Steel.ArrayRef.fst
Steel.ST.Array.null Steel.ArrayRef.ref
module Steel.ArrayRef

module A = Steel.Array
val null (#a:Type0) : ref a
Steel.ArrayRef.ref a