Direct (mina_base.Mina_base.Zkapp_precondition.Protocol

val iter : 
  ( 'a, 'b, 'c, 'd, 'e, 'f ) t ->
  snarked_ledger_hash:
    ( ( [< `Read | `Set_and_create ], ( 'g, 'h, 'i, 'j, 'k, 'l ) t, 'g )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e, 'f ) t ->
      'm ->
      'n ) ->
  blockchain_length:
    ( ( [< `Read | `Set_and_create ], ( 'o, 'p, 'q, 'r, 's, 't ) t, 'p )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e, 'f ) t ->
      'u ->
      'v ) ->
  min_window_density:
    ( ( [< `Read | `Set_and_create ], ( 'w, 'x, 'y, 'z, 'a1, 'b1 ) t, 'x )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e, 'f ) t ->
      'c1 ->
      'd1 ) ->
  last_vrf_output:
    ( ( [< `Read | `Set_and_create ], ( 'e1, 'f1, 'g1, 'h1, 'i1, 'j1 ) t, 'g1 )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e, 'f ) t ->
      'k1 ->
      'l1 ) ->
  total_currency:
    ( ( [< `Read | `Set_and_create ], ( 'm1, 'n1, 'o1, 'p1, 'q1, 'r1 ) t, 'q1 )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e, 'f ) t ->
      's1 ->
      't1 ) ->
  global_slot_since_genesis:
    ( ( [< `Read | `Set_and_create ], ( 'u1, 'v1, 'w1, 'x1, 'y1, 'z1 ) t, 'x1 )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e, 'f ) t ->
      'a2 ->
      'b2 ) ->
  staking_epoch_data:
    ( ( [< `Read | `Set_and_create ], ( 'c2, 'd2, 'e2, 'f2, 'g2, 'h2 ) t, 'h2 )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e, 'f ) t ->
      'i2 ->
      'j2 ) ->
  next_epoch_data:
    ( ( [< `Read | `Set_and_create ], ( 'k2, 'l2, 'm2, 'n2, 'o2, 'p2 ) t, 'p2 )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e, 'f ) t ->
      'q2 ->
      'r2 ) ->
  's2

val fold : 
  ( 'a, 'b, 'c, 'd, 'e, 'f ) t ->
  init:'g ->
  snarked_ledger_hash:
    ( 'h ->
      ( [< `Read | `Set_and_create ], ( 'i, 'j, 'k, 'l, 'm, 'n ) t, 'i )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e, 'f ) t ->
      'o ->
      'p ) ->
  blockchain_length:
    ( 'q ->
      ( [< `Read | `Set_and_create ], ( 'r, 's, 't, 'u, 'v, 'w ) t, 's )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e, 'f ) t ->
      'x ->
      'y ) ->
  min_window_density:
    ( 'z ->
      ( [< `Read | `Set_and_create ], ( 'a1, 'b1, 'c1, 'd1, 'e1, 'f1 ) t, 'b1 )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e, 'f ) t ->
      'g1 ->
      'h1 ) ->
  last_vrf_output:
    ( 'i1 ->
      ( [< `Read | `Set_and_create ], ( 'j1, 'k1, 'l1, 'm1, 'n1, 'o1 ) t, 'l1 )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e, 'f ) t ->
      'p1 ->
      'q1 ) ->
  total_currency:
    ( 'r1 ->
      ( [< `Read | `Set_and_create ], ( 's1, 't1, 'u1, 'v1, 'w1, 'x1 ) t, 'w1 )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e, 'f ) t ->
      'y1 ->
      'z1 ) ->
  global_slot_since_genesis:
    ( 'a2 ->
      ( [< `Read | `Set_and_create ], ( 'b2, 'c2, 'd2, 'e2, 'f2, 'g2 ) t, 'e2 )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e, 'f ) t ->
      'h2 ->
      'i2 ) ->
  staking_epoch_data:
    ( 'j2 ->
      ( [< `Read | `Set_and_create ], ( 'k2, 'l2, 'm2, 'n2, 'o2, 'p2 ) t, 'p2 )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e, 'f ) t ->
      'q2 ->
      'r2 ) ->
  next_epoch_data:
    ( 's2 ->
      ( [< `Read | `Set_and_create ], ( 't2, 'u2, 'v2, 'w2, 'x2, 'y2 ) t, 'y2 )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e, 'f ) t ->
      'z2 ->
      'a3 ) ->
  'b3

val for_all : 
  ( 'a, 'b, 'c, 'd, 'e, 'f ) t ->
  snarked_ledger_hash:
    ( ( [< `Read | `Set_and_create ], ( 'g, 'h, 'i, 'j, 'k, 'l ) t, 'g )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e, 'f ) t ->
      'm ->
      bool ) ->
  blockchain_length:
    ( ( [< `Read | `Set_and_create ], ( 'n, 'o, 'p, 'q, 'r, 's ) t, 'o )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e, 'f ) t ->
      't ->
      bool ) ->
  min_window_density:
    ( ( [< `Read | `Set_and_create ], ( 'u, 'v, 'w, 'x, 'y, 'z ) t, 'v )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e, 'f ) t ->
      'a1 ->
      bool ) ->
  last_vrf_output:
    ( ( [< `Read | `Set_and_create ], ( 'b1, 'c1, 'd1, 'e1, 'f1, 'g1 ) t, 'd1 )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e, 'f ) t ->
      'h1 ->
      bool ) ->
  total_currency:
    ( ( [< `Read | `Set_and_create ], ( 'i1, 'j1, 'k1, 'l1, 'm1, 'n1 ) t, 'm1 )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e, 'f ) t ->
      'o1 ->
      bool ) ->
  global_slot_since_genesis:
    ( ( [< `Read | `Set_and_create ], ( 'p1, 'q1, 'r1, 's1, 't1, 'u1 ) t, 's1 )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e, 'f ) t ->
      'v1 ->
      bool ) ->
  staking_epoch_data:
    ( ( [< `Read | `Set_and_create ], ( 'w1, 'x1, 'y1, 'z1, 'a2, 'b2 ) t, 'b2 )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e, 'f ) t ->
      'c2 ->
      bool ) ->
  next_epoch_data:
    ( ( [< `Read | `Set_and_create ], ( 'd2, 'e2, 'f2, 'g2, 'h2, 'i2 ) t, 'i2 )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e, 'f ) t ->
      'j2 ->
      bool ) ->
  bool

val exists : 
  ( 'a, 'b, 'c, 'd, 'e, 'f ) t ->
  snarked_ledger_hash:
    ( ( [< `Read | `Set_and_create ], ( 'g, 'h, 'i, 'j, 'k, 'l ) t, 'g )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e, 'f ) t ->
      'm ->
      bool ) ->
  blockchain_length:
    ( ( [< `Read | `Set_and_create ], ( 'n, 'o, 'p, 'q, 'r, 's ) t, 'o )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e, 'f ) t ->
      't ->
      bool ) ->
  min_window_density:
    ( ( [< `Read | `Set_and_create ], ( 'u, 'v, 'w, 'x, 'y, 'z ) t, 'v )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e, 'f ) t ->
      'a1 ->
      bool ) ->
  last_vrf_output:
    ( ( [< `Read | `Set_and_create ], ( 'b1, 'c1, 'd1, 'e1, 'f1, 'g1 ) t, 'd1 )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e, 'f ) t ->
      'h1 ->
      bool ) ->
  total_currency:
    ( ( [< `Read | `Set_and_create ], ( 'i1, 'j1, 'k1, 'l1, 'm1, 'n1 ) t, 'm1 )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e, 'f ) t ->
      'o1 ->
      bool ) ->
  global_slot_since_genesis:
    ( ( [< `Read | `Set_and_create ], ( 'p1, 'q1, 'r1, 's1, 't1, 'u1 ) t, 's1 )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e, 'f ) t ->
      'v1 ->
      bool ) ->
  staking_epoch_data:
    ( ( [< `Read | `Set_and_create ], ( 'w1, 'x1, 'y1, 'z1, 'a2, 'b2 ) t, 'b2 )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e, 'f ) t ->
      'c2 ->
      bool ) ->
  next_epoch_data:
    ( ( [< `Read | `Set_and_create ], ( 'd2, 'e2, 'f2, 'g2, 'h2, 'i2 ) t, 'i2 )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e, 'f ) t ->
      'j2 ->
      bool ) ->
  bool

val to_list : 
  ( 'a, 'b, 'c, 'd, 'e, 'f ) t ->
  snarked_ledger_hash:
    ( ( [< `Read | `Set_and_create ], ( 'g, 'h, 'i, 'j, 'k, 'l ) t, 'g )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e, 'f ) t ->
      'm ->
      'n ) ->
  blockchain_length:
    ( ( [< `Read | `Set_and_create ], ( 'o, 'p, 'q, 'r, 's, 't ) t, 'p )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e, 'f ) t ->
      'u ->
      'v ) ->
  min_window_density:
    ( ( [< `Read | `Set_and_create ], ( 'w, 'x, 'y, 'z, 'a1, 'b1 ) t, 'x )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e, 'f ) t ->
      'c1 ->
      'd1 ) ->
  last_vrf_output:
    ( ( [< `Read | `Set_and_create ], ( 'e1, 'f1, 'g1, 'h1, 'i1, 'j1 ) t, 'g1 )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e, 'f ) t ->
      'k1 ->
      'l1 ) ->
  total_currency:
    ( ( [< `Read | `Set_and_create ], ( 'm1, 'n1, 'o1, 'p1, 'q1, 'r1 ) t, 'q1 )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e, 'f ) t ->
      's1 ->
      't1 ) ->
  global_slot_since_genesis:
    ( ( [< `Read | `Set_and_create ], ( 'u1, 'v1, 'w1, 'x1, 'y1, 'z1 ) t, 'x1 )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e, 'f ) t ->
      'a2 ->
      'b2 ) ->
  staking_epoch_data:
    ( ( [< `Read | `Set_and_create ], ( 'c2, 'd2, 'e2, 'f2, 'g2, 'h2 ) t, 'h2 )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e, 'f ) t ->
      'i2 ->
      'j2 ) ->
  next_epoch_data:
    ( ( [< `Read | `Set_and_create ], ( 'k2, 'l2, 'm2, 'n2, 'o2, 'p2 ) t, 'p2 )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e, 'f ) t ->
      'q2 ->
      'r2 ) ->
  's2 list

val map : 
  ( 'a, 'b, 'c, 'd, 'e, 'f ) t ->
  snarked_ledger_hash:
    ( ( [< `Read | `Set_and_create ], ( 'g, 'h, 'i, 'j, 'k, 'l ) t, 'g )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e, 'f ) t ->
      'm ->
      'n ) ->
  blockchain_length:
    ( ( [< `Read | `Set_and_create ], ( 'o, 'p, 'q, 'r, 's, 't ) t, 'p )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e, 'f ) t ->
      'u ->
      'v ) ->
  min_window_density:
    ( ( [< `Read | `Set_and_create ], ( 'w, 'x, 'y, 'z, 'a1, 'b1 ) t, 'x )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e, 'f ) t ->
      'c1 ->
      'd1 ) ->
  last_vrf_output:
    ( ( [< `Read | `Set_and_create ], ( 'e1, 'f1, 'g1, 'h1, 'i1, 'j1 ) t, 'g1 )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e, 'f ) t ->
      'k1 ->
      'l1 ) ->
  total_currency:
    ( ( [< `Read | `Set_and_create ], ( 'm1, 'n1, 'o1, 'p1, 'q1, 'r1 ) t, 'q1 )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e, 'f ) t ->
      's1 ->
      't1 ) ->
  global_slot_since_genesis:
    ( ( [< `Read | `Set_and_create ], ( 'u1, 'v1, 'w1, 'x1, 'y1, 'z1 ) t, 'x1 )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e, 'f ) t ->
      'a2 ->
      'b2 ) ->
  staking_epoch_data:
    ( ( [< `Read | `Set_and_create ], ( 'c2, 'd2, 'e2, 'f2, 'g2, 'h2 ) t, 'h2 )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e, 'f ) t ->
      'i2 ->
      'j2 ) ->
  next_epoch_data:
    ( ( [< `Read | `Set_and_create ], ( 'k2, 'l2, 'm2, 'n2, 'o2, 'p2 ) t, 'p2 )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c, 'd, 'e, 'f ) t ->
      'q2 ->
      'r2 ) ->
  ( 's2, 't2, 'u2, 'v2, 'w2, 'x2 ) t

val set_all_mutable_fields : 'a -> unit