val iter :
t ->
addr:((t, addr) Fieldslib.Field.t -> t -> addr -> unit) ->
len:((t, int) Fieldslib.Field.t -> t -> int -> unit) ->
unit
val fold :
t ->
init:'acc__0 ->
addr:('acc__0 -> (t, addr) Fieldslib.Field.t -> t -> addr -> 'acc__1) ->
len:('acc__1 -> (t, int) Fieldslib.Field.t -> t -> int -> 'acc__2) ->
'acc__2
val for_all :
t ->
addr:((t, addr) Fieldslib.Field.t -> t -> addr -> bool) ->
len:((t, int) Fieldslib.Field.t -> t -> int -> bool) ->
bool
val exists :
t ->
addr:((t, addr) Fieldslib.Field.t -> t -> addr -> bool) ->
len:((t, int) Fieldslib.Field.t -> t -> int -> bool) ->
bool
val to_list :
t ->
addr:((t, addr) Fieldslib.Field.t -> t -> addr -> 'elem__) ->
len:((t, int) Fieldslib.Field.t -> t -> int -> 'elem__) ->
'elem__ list
val map :
t ->
addr:((t, addr) Fieldslib.Field.t -> t -> addr -> addr) ->
len:((t, int) Fieldslib.Field.t -> t -> int -> int) ->
t
val set_all_mutable_fields : t -> unit