Module Fields.Direct

val iter : t -> public_key: ( ( [< `Read | `Set_and_create ], t, Signature_lib.Public_key.Compressed.t ) Fieldslib.Field.t_with_perm -> t -> Signature_lib.Public_key.Compressed.t -> 'a ) -> fee: ( ( [< `Read | `Set_and_create ], t, Currency.Fee.t ) Fieldslib.Field.t_with_perm -> t -> Currency.Fee.t -> 'b ) -> valid_until: ( ( [< `Read | `Set_and_create ], t, Mina_numbers.Global_slot.t option ) Fieldslib.Field.t_with_perm -> t -> Mina_numbers.Global_slot.t option -> 'c ) -> nonce: ( ( [< `Read | `Set_and_create ], t, Mina_numbers.Account_nonce.t ) Fieldslib.Field.t_with_perm -> t -> Mina_numbers.Account_nonce.t -> 'd ) -> 'e
val fold : t -> init:'a -> public_key: ( 'b -> ( [< `Read | `Set_and_create ], t, Signature_lib.Public_key.Compressed.t ) Fieldslib.Field.t_with_perm -> t -> Signature_lib.Public_key.Compressed.t -> 'c ) -> fee: ( 'd -> ( [< `Read | `Set_and_create ], t, Currency.Fee.t ) Fieldslib.Field.t_with_perm -> t -> Currency.Fee.t -> 'e ) -> valid_until: ( 'f -> ( [< `Read | `Set_and_create ], t, Mina_numbers.Global_slot.t option ) Fieldslib.Field.t_with_perm -> t -> Mina_numbers.Global_slot.t option -> 'g ) -> nonce: ( 'h -> ( [< `Read | `Set_and_create ], t, Mina_numbers.Account_nonce.t ) Fieldslib.Field.t_with_perm -> t -> Mina_numbers.Account_nonce.t -> 'i ) -> 'j
val for_all : t -> public_key: ( ( [< `Read | `Set_and_create ], t, Signature_lib.Public_key.Compressed.t ) Fieldslib.Field.t_with_perm -> t -> Signature_lib.Public_key.Compressed.t -> bool ) -> fee: ( ( [< `Read | `Set_and_create ], t, Currency.Fee.t ) Fieldslib.Field.t_with_perm -> t -> Currency.Fee.t -> bool ) -> valid_until: ( ( [< `Read | `Set_and_create ], t, Mina_numbers.Global_slot.t option ) Fieldslib.Field.t_with_perm -> t -> Mina_numbers.Global_slot.t option -> bool ) -> nonce: ( ( [< `Read | `Set_and_create ], t, Mina_numbers.Account_nonce.t ) Fieldslib.Field.t_with_perm -> t -> Mina_numbers.Account_nonce.t -> bool ) -> bool
val exists : t -> public_key: ( ( [< `Read | `Set_and_create ], t, Signature_lib.Public_key.Compressed.t ) Fieldslib.Field.t_with_perm -> t -> Signature_lib.Public_key.Compressed.t -> bool ) -> fee: ( ( [< `Read | `Set_and_create ], t, Currency.Fee.t ) Fieldslib.Field.t_with_perm -> t -> Currency.Fee.t -> bool ) -> valid_until: ( ( [< `Read | `Set_and_create ], t, Mina_numbers.Global_slot.t option ) Fieldslib.Field.t_with_perm -> t -> Mina_numbers.Global_slot.t option -> bool ) -> nonce: ( ( [< `Read | `Set_and_create ], t, Mina_numbers.Account_nonce.t ) Fieldslib.Field.t_with_perm -> t -> Mina_numbers.Account_nonce.t -> bool ) -> bool
val to_list : t -> public_key: ( ( [< `Read | `Set_and_create ], t, Signature_lib.Public_key.Compressed.t ) Fieldslib.Field.t_with_perm -> t -> Signature_lib.Public_key.Compressed.t -> 'a ) -> fee: ( ( [< `Read | `Set_and_create ], t, Currency.Fee.t ) Fieldslib.Field.t_with_perm -> t -> Currency.Fee.t -> 'b ) -> valid_until: ( ( [< `Read | `Set_and_create ], t, Mina_numbers.Global_slot.t option ) Fieldslib.Field.t_with_perm -> t -> Mina_numbers.Global_slot.t option -> 'c ) -> nonce: ( ( [< `Read | `Set_and_create ], t, Mina_numbers.Account_nonce.t ) Fieldslib.Field.t_with_perm -> t -> Mina_numbers.Account_nonce.t -> 'd ) -> 'e list
val map : t -> public_key: ( ( [< `Read | `Set_and_create ], t, Signature_lib.Public_key.Compressed.t ) Fieldslib.Field.t_with_perm -> t -> Signature_lib.Public_key.Compressed.t -> Signature_lib.Public_key.Compressed.t ) -> fee: ( ( [< `Read | `Set_and_create ], t, Currency.Fee.t ) Fieldslib.Field.t_with_perm -> t -> Currency.Fee.t -> Currency.Fee.t ) -> valid_until: ( ( [< `Read | `Set_and_create ], t, Mina_numbers.Global_slot.t option ) Fieldslib.Field.t_with_perm -> t -> Mina_numbers.Global_slot.t option -> Mina_numbers.Global_slot.t option ) -> nonce: ( ( [< `Read | `Set_and_create ], t, Mina_numbers.Account_nonce.t ) Fieldslib.Field.t_with_perm -> t -> Mina_numbers.Account_nonce.t -> Mina_numbers.Account_nonce.t ) -> t
val set_all_mutable_fields : 'a -> unit