Fields (mina_base.Mina_base.Zkapp_precondition.Protocol

val names : string list

val next_epoch_data : 
  ( [< `Read | `Set_and_create ],
    ( 'a, 'b, 'c, 'd, 'e, 'epoch_data ) t,
    'epoch_data0 )
    Fieldslib.Field.t_with_perm

val staking_epoch_data : 
  ( [< `Read | `Set_and_create ],
    ( 'a, 'b, 'c, 'd, 'e, 'epoch_data ) t,
    'epoch_data0 )
    Fieldslib.Field.t_with_perm

val global_slot_since_genesis : 
  ( [< `Read | `Set_and_create ],
    ( 'a, 'b, 'c, 'global_slot, 'd, 'e ) t,
    'global_slot0 )
    Fieldslib.Field.t_with_perm

val total_currency : 
  ( [< `Read | `Set_and_create ], ( 'a, 'b, 'c, 'd, 'amount, 'e ) t, 'amount0 )
    Fieldslib.Field.t_with_perm

val last_vrf_output : 
  ( [< `Read | `Set_and_create ],
    ( 'a, 'b, 'vrf_output, 'c, 'd, 'e ) t,
    'vrf_output0 )
    Fieldslib.Field.t_with_perm

val min_window_density : 
  ( [< `Read | `Set_and_create ], ( 'a, 'length, 'b, 'c, 'd, 'e ) t, 'length0 )
    Fieldslib.Field.t_with_perm

val blockchain_length : 
  ( [< `Read | `Set_and_create ], ( 'a, 'length, 'b, 'c, 'd, 'e ) t, 'length0 )
    Fieldslib.Field.t_with_perm

val snarked_ledger_hash : 
  ( [< `Read | `Set_and_create ],
    ( 'snarked_ledger_hash, 'a, 'b, 'c, 'd, 'e ) t,
    'snarked_ledger_hash0 )
    Fieldslib.Field.t_with_perm

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

val create : 
  snarked_ledger_hash:'a ->
  blockchain_length:'b ->
  min_window_density:'c ->
  last_vrf_output:'d ->
  total_currency:'e ->
  global_slot_since_genesis:'f ->
  staking_epoch_data:'g ->
  next_epoch_data:'h ->
  ( 'i, 'j, 'k, 'l, 'm, 'n ) t

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

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

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

val map_poly : 
  ( [< `Read | `Set_and_create ], ( 'a, 'b, 'c, 'd, 'e, 'f ) t, 'g )
    Fieldslib.Field.user ->
  'h list

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

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

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

module Direct : sig ... end