Module Float_iarray.Int64_u

val get : float iarray @ local -> (idx:int64 -> float64x4) @ local @@ portable

Load four floats from a float iarray at an arbitrary (unaligned) index.

val unsafe_get : float iarray @ local -> (idx:int64 -> float64x4) @ local @@ portable

Load four floats from a float iarray at an arbitrary (unaligned) index. Does not check bounds.