Module Fields.Direct

val iter : t -> accounts: ( ( [< `Read | `Set_and_create ], t, Accounts.t option ) Fieldslib.Field.t_with_perm -> t -> Accounts.t option -> 'a ) -> num_accounts: ( ( [< `Read | `Set_and_create ], t, int option ) Fieldslib.Field.t_with_perm -> t -> int option -> 'b ) -> balances: ( ( [< `Read | `Set_and_create ], t, Balance_spec.t list ) Fieldslib.Field.t_with_perm -> t -> Balance_spec.t list -> 'c ) -> hash: ( ( [< `Read | `Set_and_create ], t, string option ) Fieldslib.Field.t_with_perm -> t -> string option -> 'd ) -> name: ( ( [< `Read | `Set_and_create ], t, string option ) Fieldslib.Field.t_with_perm -> t -> string option -> 'e ) -> add_genesis_winner: ( ( [< `Read | `Set_and_create ], t, bool option ) Fieldslib.Field.t_with_perm -> t -> bool option -> 'f ) -> 'g
val fold : t -> init:'a -> accounts: ( 'b -> ( [< `Read | `Set_and_create ], t, Accounts.t option ) Fieldslib.Field.t_with_perm -> t -> Accounts.t option -> 'c ) -> num_accounts: ( 'd -> ( [< `Read | `Set_and_create ], t, int option ) Fieldslib.Field.t_with_perm -> t -> int option -> 'e ) -> balances: ( 'f -> ( [< `Read | `Set_and_create ], t, Balance_spec.t list ) Fieldslib.Field.t_with_perm -> t -> Balance_spec.t list -> 'g ) -> hash: ( 'h -> ( [< `Read | `Set_and_create ], t, string option ) Fieldslib.Field.t_with_perm -> t -> string option -> 'i ) -> name: ( 'j -> ( [< `Read | `Set_and_create ], t, string option ) Fieldslib.Field.t_with_perm -> t -> string option -> 'k ) -> add_genesis_winner: ( 'l -> ( [< `Read | `Set_and_create ], t, bool option ) Fieldslib.Field.t_with_perm -> t -> bool option -> 'm ) -> 'n
val for_all : t -> accounts: ( ( [< `Read | `Set_and_create ], t, Accounts.t option ) Fieldslib.Field.t_with_perm -> t -> Accounts.t option -> bool ) -> num_accounts: ( ( [< `Read | `Set_and_create ], t, int option ) Fieldslib.Field.t_with_perm -> t -> int option -> bool ) -> balances: ( ( [< `Read | `Set_and_create ], t, Balance_spec.t list ) Fieldslib.Field.t_with_perm -> t -> Balance_spec.t list -> bool ) -> hash: ( ( [< `Read | `Set_and_create ], t, string option ) Fieldslib.Field.t_with_perm -> t -> string option -> bool ) -> name: ( ( [< `Read | `Set_and_create ], t, string option ) Fieldslib.Field.t_with_perm -> t -> string option -> bool ) -> add_genesis_winner: ( ( [< `Read | `Set_and_create ], t, bool option ) Fieldslib.Field.t_with_perm -> t -> bool option -> bool ) -> bool
val exists : t -> accounts: ( ( [< `Read | `Set_and_create ], t, Accounts.t option ) Fieldslib.Field.t_with_perm -> t -> Accounts.t option -> bool ) -> num_accounts: ( ( [< `Read | `Set_and_create ], t, int option ) Fieldslib.Field.t_with_perm -> t -> int option -> bool ) -> balances: ( ( [< `Read | `Set_and_create ], t, Balance_spec.t list ) Fieldslib.Field.t_with_perm -> t -> Balance_spec.t list -> bool ) -> hash: ( ( [< `Read | `Set_and_create ], t, string option ) Fieldslib.Field.t_with_perm -> t -> string option -> bool ) -> name: ( ( [< `Read | `Set_and_create ], t, string option ) Fieldslib.Field.t_with_perm -> t -> string option -> bool ) -> add_genesis_winner: ( ( [< `Read | `Set_and_create ], t, bool option ) Fieldslib.Field.t_with_perm -> t -> bool option -> bool ) -> bool
val to_list : t -> accounts: ( ( [< `Read | `Set_and_create ], t, Accounts.t option ) Fieldslib.Field.t_with_perm -> t -> Accounts.t option -> 'a ) -> num_accounts: ( ( [< `Read | `Set_and_create ], t, int option ) Fieldslib.Field.t_with_perm -> t -> int option -> 'b ) -> balances: ( ( [< `Read | `Set_and_create ], t, Balance_spec.t list ) Fieldslib.Field.t_with_perm -> t -> Balance_spec.t list -> 'c ) -> hash: ( ( [< `Read | `Set_and_create ], t, string option ) Fieldslib.Field.t_with_perm -> t -> string option -> 'd ) -> name: ( ( [< `Read | `Set_and_create ], t, string option ) Fieldslib.Field.t_with_perm -> t -> string option -> 'e ) -> add_genesis_winner: ( ( [< `Read | `Set_and_create ], t, bool option ) Fieldslib.Field.t_with_perm -> t -> bool option -> 'f ) -> 'g list
val map : t -> accounts: ( ( [< `Read | `Set_and_create ], t, Accounts.t option ) Fieldslib.Field.t_with_perm -> t -> Accounts.t option -> Accounts.t option ) -> num_accounts: ( ( [< `Read | `Set_and_create ], t, int option ) Fieldslib.Field.t_with_perm -> t -> int option -> int option ) -> balances: ( ( [< `Read | `Set_and_create ], t, Balance_spec.t list ) Fieldslib.Field.t_with_perm -> t -> Balance_spec.t list -> Balance_spec.t list ) -> hash: ( ( [< `Read | `Set_and_create ], t, string option ) Fieldslib.Field.t_with_perm -> t -> string option -> string option ) -> name: ( ( [< `Read | `Set_and_create ], t, string option ) Fieldslib.Field.t_with_perm -> t -> string option -> string option ) -> add_genesis_winner: ( ( [< `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