Module Fields.Direct

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) -> unit
val 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__2
val 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) -> bool
val 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) -> bool
val 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__ list
val 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 t
val set_all_mutable_fields : 'f t -> unit