Module Fields.Direct

val iter : t -> seed: ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> 'a ) -> ledger_hash_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'b ) -> total_currency: ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> 'c ) -> start_checkpoint: ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> 'd ) -> lock_checkpoint: ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> 'e ) -> epoch_length: ( ( [< `Read | `Set_and_create ], t, int64 ) Fieldslib.Field.t_with_perm -> t -> int64 -> 'f ) -> 'g
val fold : t -> init:'a -> seed: ( 'b -> ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> 'c ) -> ledger_hash_id: ( 'd -> ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'e ) -> total_currency: ( 'f -> ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> 'g ) -> start_checkpoint: ( 'h -> ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> 'i ) -> lock_checkpoint: ( 'j -> ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> 'k ) -> epoch_length: ( 'l -> ( [< `Read | `Set_and_create ], t, int64 ) Fieldslib.Field.t_with_perm -> t -> int64 -> 'm ) -> 'n
val for_all : t -> seed: ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> bool ) -> ledger_hash_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> bool ) -> total_currency: ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> bool ) -> start_checkpoint: ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> bool ) -> lock_checkpoint: ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> bool ) -> epoch_length: ( ( [< `Read | `Set_and_create ], t, int64 ) Fieldslib.Field.t_with_perm -> t -> int64 -> bool ) -> bool
val exists : t -> seed: ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> bool ) -> ledger_hash_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> bool ) -> total_currency: ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> bool ) -> start_checkpoint: ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> bool ) -> lock_checkpoint: ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> bool ) -> epoch_length: ( ( [< `Read | `Set_and_create ], t, int64 ) Fieldslib.Field.t_with_perm -> t -> int64 -> bool ) -> bool
val to_list : t -> seed: ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> 'a ) -> ledger_hash_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'b ) -> total_currency: ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> 'c ) -> start_checkpoint: ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> 'd ) -> lock_checkpoint: ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> 'e ) -> epoch_length: ( ( [< `Read | `Set_and_create ], t, int64 ) Fieldslib.Field.t_with_perm -> t -> int64 -> 'f ) -> 'g list
val map : t -> seed: ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> string ) -> ledger_hash_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> int ) -> total_currency: ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> string ) -> start_checkpoint: ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> string ) -> lock_checkpoint: ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> string ) -> epoch_length: ( ( [< `Read | `Set_and_create ], t, int64 ) Fieldslib.Field.t_with_perm -> t -> int64 -> int64 ) -> t
val set_all_mutable_fields : 'a -> unit