Module Partial_array.Fields

module Fields: sig .. end

val names : string list

val len : ([< `Read | `Set_and_create ], 'a Partial_array.t, int)
       Fieldslib.Field.t_with_perm

val values : ([< `Read | `Set_and_create ], 'a Partial_array.t, 'a array)
       Fieldslib.Field.t_with_perm

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

val create : values:'a array -> len:int -> 'a Partial_array.t

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

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

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

val map_poly : ([< `Read | `Set_and_create ], 'a Partial_array.t, 'b) Fieldslib.Field.user ->
       'b list

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

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

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

module Direct: sig .. end