Module Load_store.Floatarray

val get : floatarray @ local read -> (idx:int -> float64x4) @ local @@ portable

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

val unsafe_get : floatarray @ local read -> (idx:int -> float64x4) @ local @@ portable

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

val set : floatarray @ local -> (idx:int -> (float64x4 -> unit) @ local) @ local @@ portable

Store four floats to a floatarray at an arbitrary (unaligned) index.

val unsafe_set : floatarray @ local -> (idx:int -> (float64x4 -> unit) @ local) @ local @@ portable

Store four floats to a floatarray at an arbitrary (unaligned) index. Does not check bounds.

module Int32_u : Floatarray_accessors with type index := int32
module Int64_u : Floatarray_accessors with type index := int64
module Nativeint_u : Floatarray_accessors with type index := nativeint