Direct (mina_base.Mina_base.Epoch_data.Poly.Fields.Direct)

val iter : 
  ( 'a, 'b, 'c, 'd, 'e ) t ->
  ledger:
    ( ( [< `Read | `Set_and_create ], ( 'f, 'g, 'h, 'i, 'j ) t, 'f )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e ) t ->
      'k ->
      'l ) ->
  seed:
    ( ( [< `Read | `Set_and_create ], ( 'm, 'n, 'o, 'p, 'q ) t, 'n )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e ) t ->
      'r ->
      's ) ->
  start_checkpoint:
    ( ( [< `Read | `Set_and_create ], ( 't, 'u, 'v, 'w, 'x ) t, 'v )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e ) t ->
      'y ->
      'z ) ->
  lock_checkpoint:
    ( ( [< `Read | `Set_and_create ], ( 'a1, 'b1, 'c1, 'd1, 'e1 ) t, 'd1 )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e ) t ->
      'f1 ->
      'g1 ) ->
  epoch_length:
    ( ( [< `Read | `Set_and_create ], ( 'h1, 'i1, 'j1, 'k1, 'l1 ) t, 'l1 )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e ) t ->
      'm1 ->
      'n1 ) ->
  'o1

val fold : 
  ( 'a, 'b, 'c, 'd, 'e ) t ->
  init:'f ->
  ledger:
    ( 'g ->
      ( [< `Read | `Set_and_create ], ( 'h, 'i, 'j, 'k, 'l ) t, 'h )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e ) t ->
      'm ->
      'n ) ->
  seed:
    ( 'o ->
      ( [< `Read | `Set_and_create ], ( 'p, 'q, 'r, 's, 't ) t, 'q )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e ) t ->
      'u ->
      'v ) ->
  start_checkpoint:
    ( 'w ->
      ( [< `Read | `Set_and_create ], ( 'x, 'y, 'z, 'a1, 'b1 ) t, 'z )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e ) t ->
      'c1 ->
      'd1 ) ->
  lock_checkpoint:
    ( 'e1 ->
      ( [< `Read | `Set_and_create ], ( 'f1, 'g1, 'h1, 'i1, 'j1 ) t, 'i1 )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e ) t ->
      'k1 ->
      'l1 ) ->
  epoch_length:
    ( 'm1 ->
      ( [< `Read | `Set_and_create ], ( 'n1, 'o1, 'p1, 'q1, 'r1 ) t, 'r1 )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e ) t ->
      's1 ->
      't1 ) ->
  'u1

val for_all : 
  ( 'a, 'b, 'c, 'd, 'e ) t ->
  ledger:
    ( ( [< `Read | `Set_and_create ], ( 'f, 'g, 'h, 'i, 'j ) t, 'f )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e ) t ->
      'k ->
      bool ) ->
  seed:
    ( ( [< `Read | `Set_and_create ], ( 'l, 'm, 'n, 'o, 'p ) t, 'm )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e ) t ->
      'q ->
      bool ) ->
  start_checkpoint:
    ( ( [< `Read | `Set_and_create ], ( 'r, 's, 't, 'u, 'v ) t, 't )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e ) t ->
      'w ->
      bool ) ->
  lock_checkpoint:
    ( ( [< `Read | `Set_and_create ], ( 'x, 'y, 'z, 'a1, 'b1 ) t, 'a1 )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e ) t ->
      'c1 ->
      bool ) ->
  epoch_length:
    ( ( [< `Read | `Set_and_create ], ( 'd1, 'e1, 'f1, 'g1, 'h1 ) t, 'h1 )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e ) t ->
      'i1 ->
      bool ) ->
  bool

val exists : 
  ( 'a, 'b, 'c, 'd, 'e ) t ->
  ledger:
    ( ( [< `Read | `Set_and_create ], ( 'f, 'g, 'h, 'i, 'j ) t, 'f )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e ) t ->
      'k ->
      bool ) ->
  seed:
    ( ( [< `Read | `Set_and_create ], ( 'l, 'm, 'n, 'o, 'p ) t, 'm )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e ) t ->
      'q ->
      bool ) ->
  start_checkpoint:
    ( ( [< `Read | `Set_and_create ], ( 'r, 's, 't, 'u, 'v ) t, 't )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e ) t ->
      'w ->
      bool ) ->
  lock_checkpoint:
    ( ( [< `Read | `Set_and_create ], ( 'x, 'y, 'z, 'a1, 'b1 ) t, 'a1 )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e ) t ->
      'c1 ->
      bool ) ->
  epoch_length:
    ( ( [< `Read | `Set_and_create ], ( 'd1, 'e1, 'f1, 'g1, 'h1 ) t, 'h1 )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e ) t ->
      'i1 ->
      bool ) ->
  bool

val to_list : 
  ( 'a, 'b, 'c, 'd, 'e ) t ->
  ledger:
    ( ( [< `Read | `Set_and_create ], ( 'f, 'g, 'h, 'i, 'j ) t, 'f )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e ) t ->
      'k ->
      'l ) ->
  seed:
    ( ( [< `Read | `Set_and_create ], ( 'm, 'n, 'o, 'p, 'q ) t, 'n )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e ) t ->
      'r ->
      's ) ->
  start_checkpoint:
    ( ( [< `Read | `Set_and_create ], ( 't, 'u, 'v, 'w, 'x ) t, 'v )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e ) t ->
      'y ->
      'z ) ->
  lock_checkpoint:
    ( ( [< `Read | `Set_and_create ], ( 'a1, 'b1, 'c1, 'd1, 'e1 ) t, 'd1 )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e ) t ->
      'f1 ->
      'g1 ) ->
  epoch_length:
    ( ( [< `Read | `Set_and_create ], ( 'h1, 'i1, 'j1, 'k1, 'l1 ) t, 'l1 )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e ) t ->
      'm1 ->
      'n1 ) ->
  'o1 list

val map : 
  ( 'a, 'b, 'c, 'd, 'e ) t ->
  ledger:
    ( ( [< `Read | `Set_and_create ], ( 'f, 'g, 'h, 'i, 'j ) t, 'f )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e ) t ->
      'k ->
      'l ) ->
  seed:
    ( ( [< `Read | `Set_and_create ], ( 'm, 'n, 'o, 'p, 'q ) t, 'n )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e ) t ->
      'r ->
      's ) ->
  start_checkpoint:
    ( ( [< `Read | `Set_and_create ], ( 't, 'u, 'v, 'w, 'x ) t, 'v )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e ) t ->
      'y ->
      'z ) ->
  lock_checkpoint:
    ( ( [< `Read | `Set_and_create ], ( 'a1, 'b1, 'c1, 'd1, 'e1 ) t, 'd1 )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e ) t ->
      'f1 ->
      'g1 ) ->
  epoch_length:
    ( ( [< `Read | `Set_and_create ], ( 'h1, 'i1, 'j1, 'k1, 'l1 ) t, 'l1 )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e ) t ->
      'm1 ->
      'n1 ) ->
  ( 'o1, 'p1, 'q1, 'r1, 's1 ) t

val set_all_mutable_fields : 'a -> unit