sig
  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
end