Module Partial_array.Fields.Direct

module Direct: sig .. end

val iter : 'a Partial_array.t ->
       values:(([< `Read | `Set_and_create ], 'b Partial_array.t, 'b array)
               Fieldslib.Field.t_with_perm -> 'a Partial_array.t -> 'a array -> 'c) ->
       len:(([< `Read | `Set_and_create ], 'd Partial_array.t, int)
            Fieldslib.Field.t_with_perm -> 'a Partial_array.t -> int -> 'e) ->
       'e

val fold : 'a Partial_array.t ->
       init:'b ->
       values:('b ->
               ([< `Read | `Set_and_create ], 'c Partial_array.t, 'c array)
               Fieldslib.Field.t_with_perm -> 'a Partial_array.t -> 'a array -> 'd) ->
       len:('d ->
            ([< `Read | `Set_and_create ], 'e Partial_array.t, int)
            Fieldslib.Field.t_with_perm -> 'a Partial_array.t -> int -> 'f) ->
       'f