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