Module Fields.Direct

val iter : t -> balance_id: ( ( [< `Read | `Set_and_create ], t, int option ) Fieldslib.Field.t_with_perm -> t -> int option -> 'a ) -> nonce_id: ( ( [< `Read | `Set_and_create ], t, int option ) Fieldslib.Field.t_with_perm -> t -> int option -> 'b ) -> receipt_chain_hash: ( ( [< `Read | `Set_and_create ], t, string option ) Fieldslib.Field.t_with_perm -> t -> string option -> 'c ) -> delegate_id: ( ( [< `Read | `Set_and_create ], t, int option ) Fieldslib.Field.t_with_perm -> t -> int option -> 'd ) -> state_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'e ) -> sequence_state_id: ( ( [< `Read | `Set_and_create ], t, int option ) Fieldslib.Field.t_with_perm -> t -> int option -> 'f ) -> proved_state: ( ( [< `Read | `Set_and_create ], t, bool option ) Fieldslib.Field.t_with_perm -> t -> bool option -> 'g ) -> is_new: ( ( [< `Read | `Set_and_create ], t, bool option ) Fieldslib.Field.t_with_perm -> t -> bool option -> 'h ) -> 'i
val fold : t -> init:'a -> balance_id: ( 'b -> ( [< `Read | `Set_and_create ], t, int option ) Fieldslib.Field.t_with_perm -> t -> int option -> 'c ) -> nonce_id: ( 'd -> ( [< `Read | `Set_and_create ], t, int option ) Fieldslib.Field.t_with_perm -> t -> int option -> 'e ) -> receipt_chain_hash: ( 'f -> ( [< `Read | `Set_and_create ], t, string option ) Fieldslib.Field.t_with_perm -> t -> string option -> 'g ) -> delegate_id: ( 'h -> ( [< `Read | `Set_and_create ], t, int option ) Fieldslib.Field.t_with_perm -> t -> int option -> 'i ) -> state_id: ( 'j -> ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'k ) -> sequence_state_id: ( 'l -> ( [< `Read | `Set_and_create ], t, int option ) Fieldslib.Field.t_with_perm -> t -> int option -> 'm ) -> proved_state: ( 'n -> ( [< `Read | `Set_and_create ], t, bool option ) Fieldslib.Field.t_with_perm -> t -> bool option -> 'o ) -> is_new: ( 'p -> ( [< `Read | `Set_and_create ], t, bool option ) Fieldslib.Field.t_with_perm -> t -> bool option -> 'q ) -> 'r
val for_all : t -> balance_id: ( ( [< `Read | `Set_and_create ], t, int option ) Fieldslib.Field.t_with_perm -> t -> int option -> bool ) -> nonce_id: ( ( [< `Read | `Set_and_create ], t, int option ) Fieldslib.Field.t_with_perm -> t -> int option -> bool ) -> receipt_chain_hash: ( ( [< `Read | `Set_and_create ], t, string option ) Fieldslib.Field.t_with_perm -> t -> string option -> bool ) -> delegate_id: ( ( [< `Read | `Set_and_create ], t, int option ) Fieldslib.Field.t_with_perm -> t -> int option -> bool ) -> state_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> bool ) -> sequence_state_id: ( ( [< `Read | `Set_and_create ], t, int option ) Fieldslib.Field.t_with_perm -> t -> int option -> bool ) -> proved_state: ( ( [< `Read | `Set_and_create ], t, bool option ) Fieldslib.Field.t_with_perm -> t -> bool option -> bool ) -> is_new: ( ( [< `Read | `Set_and_create ], t, bool option ) Fieldslib.Field.t_with_perm -> t -> bool option -> bool ) -> bool
val exists : t -> balance_id: ( ( [< `Read | `Set_and_create ], t, int option ) Fieldslib.Field.t_with_perm -> t -> int option -> bool ) -> nonce_id: ( ( [< `Read | `Set_and_create ], t, int option ) Fieldslib.Field.t_with_perm -> t -> int option -> bool ) -> receipt_chain_hash: ( ( [< `Read | `Set_and_create ], t, string option ) Fieldslib.Field.t_with_perm -> t -> string option -> bool ) -> delegate_id: ( ( [< `Read | `Set_and_create ], t, int option ) Fieldslib.Field.t_with_perm -> t -> int option -> bool ) -> state_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> bool ) -> sequence_state_id: ( ( [< `Read | `Set_and_create ], t, int option ) Fieldslib.Field.t_with_perm -> t -> int option -> bool ) -> proved_state: ( ( [< `Read | `Set_and_create ], t, bool option ) Fieldslib.Field.t_with_perm -> t -> bool option -> bool ) -> is_new: ( ( [< `Read | `Set_and_create ], t, bool option ) Fieldslib.Field.t_with_perm -> t -> bool option -> bool ) -> bool
val to_list : t -> balance_id: ( ( [< `Read | `Set_and_create ], t, int option ) Fieldslib.Field.t_with_perm -> t -> int option -> 'a ) -> nonce_id: ( ( [< `Read | `Set_and_create ], t, int option ) Fieldslib.Field.t_with_perm -> t -> int option -> 'b ) -> receipt_chain_hash: ( ( [< `Read | `Set_and_create ], t, string option ) Fieldslib.Field.t_with_perm -> t -> string option -> 'c ) -> delegate_id: ( ( [< `Read | `Set_and_create ], t, int option ) Fieldslib.Field.t_with_perm -> t -> int option -> 'd ) -> state_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'e ) -> sequence_state_id: ( ( [< `Read | `Set_and_create ], t, int option ) Fieldslib.Field.t_with_perm -> t -> int option -> 'f ) -> proved_state: ( ( [< `Read | `Set_and_create ], t, bool option ) Fieldslib.Field.t_with_perm -> t -> bool option -> 'g ) -> is_new: ( ( [< `Read | `Set_and_create ], t, bool option ) Fieldslib.Field.t_with_perm -> t -> bool option -> 'h ) -> 'i list
val map : t -> balance_id: ( ( [< `Read | `Set_and_create ], t, int option ) Fieldslib.Field.t_with_perm -> t -> int option -> int option ) -> nonce_id: ( ( [< `Read | `Set_and_create ], t, int option ) Fieldslib.Field.t_with_perm -> t -> int option -> int option ) -> receipt_chain_hash: ( ( [< `Read | `Set_and_create ], t, string option ) Fieldslib.Field.t_with_perm -> t -> string option -> string option ) -> delegate_id: ( ( [< `Read | `Set_and_create ], t, int option ) Fieldslib.Field.t_with_perm -> t -> int option -> int option ) -> state_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> int ) -> sequence_state_id: ( ( [< `Read | `Set_and_create ], t, int option ) Fieldslib.Field.t_with_perm -> t -> int option -> int option ) -> proved_state: ( ( [< `Read | `Set_and_create ], t, bool option ) Fieldslib.Field.t_with_perm -> t -> bool option -> bool option ) -> is_new: ( ( [< `Read | `Set_and_create ], t, bool option ) Fieldslib.Field.t_with_perm -> t -> bool option -> bool option ) -> t
val set_all_mutable_fields : 'a -> unit