val iter :
'f t ->
a:(('f t, 'f) Fieldslib.Field.t -> 'f t -> 'f -> unit) ->
b:(('f t, 'f) Fieldslib.Field.t -> 'f t -> 'f -> unit) ->
unitval fold :
'f t ->
init:'acc__0 ->
a:('acc__0 -> ('f t, 'f) Fieldslib.Field.t -> 'f t -> 'f -> 'acc__1) ->
b:('acc__1 -> ('f t, 'f) Fieldslib.Field.t -> 'f t -> 'f -> 'acc__2) ->
'acc__2val for_all :
'f t ->
a:(('f t, 'f) Fieldslib.Field.t -> 'f t -> 'f -> bool) ->
b:(('f t, 'f) Fieldslib.Field.t -> 'f t -> 'f -> bool) ->
boolval exists :
'f t ->
a:(('f t, 'f) Fieldslib.Field.t -> 'f t -> 'f -> bool) ->
b:(('f t, 'f) Fieldslib.Field.t -> 'f t -> 'f -> bool) ->
boolval to_list :
'f t ->
a:(('f t, 'f) Fieldslib.Field.t -> 'f t -> 'f -> 'elem__) ->
b:(('f t, 'f) Fieldslib.Field.t -> 'f t -> 'f -> 'elem__) ->
'elem__ listval map :
'f t ->
a:(('f t, 'f) Fieldslib.Field.t -> 'f t -> 'f -> 'f) ->
b:(('f t, 'f) Fieldslib.Field.t -> 'f t -> 'f -> 'f) ->
'f tval set_all_mutable_fields : 'f t -> unit