Module Fields.Direct

val iter : t -> snark_transition: ( ( [< `Read | `Set_and_create ], t, Mina_state.Snark_transition.Value.t ) Fieldslib.Field.t_with_perm -> t -> Mina_state.Snark_transition.Value.t -> 'a ) -> ledger_proof: ( ( [< `Read | `Set_and_create ], t, Ledger_proof.t option ) Fieldslib.Field.t_with_perm -> t -> Ledger_proof.t option -> 'b ) -> prover_state: ( ( [< `Read | `Set_and_create ], t, Consensus.Data.Prover_state.t ) Fieldslib.Field.t_with_perm -> t -> Consensus.Data.Prover_state.t -> 'c ) -> staged_ledger_diff: ( ( [< `Read | `Set_and_create ], t, Staged_ledger_diff.t ) Fieldslib.Field.t_with_perm -> t -> Staged_ledger_diff.t -> 'd ) -> 'e
val fold : t -> init:'a -> snark_transition: ( 'b -> ( [< `Read | `Set_and_create ], t, Mina_state.Snark_transition.Value.t ) Fieldslib.Field.t_with_perm -> t -> Mina_state.Snark_transition.Value.t -> 'c ) -> ledger_proof: ( 'd -> ( [< `Read | `Set_and_create ], t, Ledger_proof.t option ) Fieldslib.Field.t_with_perm -> t -> Ledger_proof.t option -> 'e ) -> prover_state: ( 'f -> ( [< `Read | `Set_and_create ], t, Consensus.Data.Prover_state.t ) Fieldslib.Field.t_with_perm -> t -> Consensus.Data.Prover_state.t -> 'g ) -> staged_ledger_diff: ( 'h -> ( [< `Read | `Set_and_create ], t, Staged_ledger_diff.t ) Fieldslib.Field.t_with_perm -> t -> Staged_ledger_diff.t -> 'i ) -> 'j
val for_all : t -> snark_transition: ( ( [< `Read | `Set_and_create ], t, Mina_state.Snark_transition.Value.t ) Fieldslib.Field.t_with_perm -> t -> Mina_state.Snark_transition.Value.t -> bool ) -> ledger_proof: ( ( [< `Read | `Set_and_create ], t, Ledger_proof.t option ) Fieldslib.Field.t_with_perm -> t -> Ledger_proof.t option -> bool ) -> prover_state: ( ( [< `Read | `Set_and_create ], t, Consensus.Data.Prover_state.t ) Fieldslib.Field.t_with_perm -> t -> Consensus.Data.Prover_state.t -> bool ) -> staged_ledger_diff: ( ( [< `Read | `Set_and_create ], t, Staged_ledger_diff.t ) Fieldslib.Field.t_with_perm -> t -> Staged_ledger_diff.t -> bool ) -> bool
val exists : t -> snark_transition: ( ( [< `Read | `Set_and_create ], t, Mina_state.Snark_transition.Value.t ) Fieldslib.Field.t_with_perm -> t -> Mina_state.Snark_transition.Value.t -> bool ) -> ledger_proof: ( ( [< `Read | `Set_and_create ], t, Ledger_proof.t option ) Fieldslib.Field.t_with_perm -> t -> Ledger_proof.t option -> bool ) -> prover_state: ( ( [< `Read | `Set_and_create ], t, Consensus.Data.Prover_state.t ) Fieldslib.Field.t_with_perm -> t -> Consensus.Data.Prover_state.t -> bool ) -> staged_ledger_diff: ( ( [< `Read | `Set_and_create ], t, Staged_ledger_diff.t ) Fieldslib.Field.t_with_perm -> t -> Staged_ledger_diff.t -> bool ) -> bool
val to_list : t -> snark_transition: ( ( [< `Read | `Set_and_create ], t, Mina_state.Snark_transition.Value.t ) Fieldslib.Field.t_with_perm -> t -> Mina_state.Snark_transition.Value.t -> 'a ) -> ledger_proof: ( ( [< `Read | `Set_and_create ], t, Ledger_proof.t option ) Fieldslib.Field.t_with_perm -> t -> Ledger_proof.t option -> 'b ) -> prover_state: ( ( [< `Read | `Set_and_create ], t, Consensus.Data.Prover_state.t ) Fieldslib.Field.t_with_perm -> t -> Consensus.Data.Prover_state.t -> 'c ) -> staged_ledger_diff: ( ( [< `Read | `Set_and_create ], t, Staged_ledger_diff.t ) Fieldslib.Field.t_with_perm -> t -> Staged_ledger_diff.t -> 'd ) -> 'e list
val map : t -> snark_transition: ( ( [< `Read | `Set_and_create ], t, Mina_state.Snark_transition.Value.t ) Fieldslib.Field.t_with_perm -> t -> Mina_state.Snark_transition.Value.t -> Mina_state.Snark_transition.Value.t ) -> ledger_proof: ( ( [< `Read | `Set_and_create ], t, Ledger_proof.t option ) Fieldslib.Field.t_with_perm -> t -> Ledger_proof.t option -> Ledger_proof.t option ) -> prover_state: ( ( [< `Read | `Set_and_create ], t, Consensus.Data.Prover_state.t ) Fieldslib.Field.t_with_perm -> t -> Consensus.Data.Prover_state.t -> Consensus.Data.Prover_state.t ) -> staged_ledger_diff: ( ( [< `Read | `Set_and_create ], t, Staged_ledger_diff.t ) Fieldslib.Field.t_with_perm -> t -> Staged_ledger_diff.t -> Staged_ledger_diff.t ) -> t
val set_all_mutable_fields : 'a -> unit