Module Fields.Direct

val iter : t -> nonce_lower_bound: ( ( [< `Read | `Set_and_create ], t, int64 ) Fieldslib.Field.t_with_perm -> t -> int64 -> 'a ) -> nonce_upper_bound: ( ( [< `Read | `Set_and_create ], t, int64 ) Fieldslib.Field.t_with_perm -> t -> int64 -> 'b ) -> 'c
val fold : t -> init:'a -> nonce_lower_bound: ( 'b -> ( [< `Read | `Set_and_create ], t, int64 ) Fieldslib.Field.t_with_perm -> t -> int64 -> 'c ) -> nonce_upper_bound: ( 'd -> ( [< `Read | `Set_and_create ], t, int64 ) Fieldslib.Field.t_with_perm -> t -> int64 -> 'e ) -> 'f
val for_all : t -> nonce_lower_bound: ( ( [< `Read | `Set_and_create ], t, int64 ) Fieldslib.Field.t_with_perm -> t -> int64 -> bool ) -> nonce_upper_bound: ( ( [< `Read | `Set_and_create ], t, int64 ) Fieldslib.Field.t_with_perm -> t -> int64 -> bool ) -> bool
val exists : t -> nonce_lower_bound: ( ( [< `Read | `Set_and_create ], t, int64 ) Fieldslib.Field.t_with_perm -> t -> int64 -> bool ) -> nonce_upper_bound: ( ( [< `Read | `Set_and_create ], t, int64 ) Fieldslib.Field.t_with_perm -> t -> int64 -> bool ) -> bool
val to_list : t -> nonce_lower_bound: ( ( [< `Read | `Set_and_create ], t, int64 ) Fieldslib.Field.t_with_perm -> t -> int64 -> 'a ) -> nonce_upper_bound: ( ( [< `Read | `Set_and_create ], t, int64 ) Fieldslib.Field.t_with_perm -> t -> int64 -> 'b ) -> 'c list
val map : t -> nonce_lower_bound: ( ( [< `Read | `Set_and_create ], t, int64 ) Fieldslib.Field.t_with_perm -> t -> int64 -> int64 ) -> nonce_upper_bound: ( ( [< `Read | `Set_and_create ], t, int64 ) Fieldslib.Field.t_with_perm -> t -> int64 -> int64 ) -> t
val set_all_mutable_fields : 'a -> unit