Direct (mina_state.Mina_state.Registers.Fields.Direct)

val iter : 
  ( 'a, 'b, 'c ) t ->
  ledger:
    ( ( [< `Read | `Set_and_create ], ( 'd, 'e, 'f ) t, 'd )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c ) t ->
      'g ->
      'h ) ->
  pending_coinbase_stack:
    ( ( [< `Read | `Set_and_create ], ( 'i, 'j, 'k ) t, 'j )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c ) t ->
      'l ->
      'm ) ->
  local_state:
    ( ( [< `Read | `Set_and_create ], ( 'n, 'o, 'p ) t, 'p )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c ) t ->
      'q ->
      'r ) ->
  's

val fold : 
  ( 'a, 'b, 'c ) t ->
  init:'d ->
  ledger:
    ( 'e ->
      ( [< `Read | `Set_and_create ], ( 'f, 'g, 'h ) t, 'f )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c ) t ->
      'i ->
      'j ) ->
  pending_coinbase_stack:
    ( 'k ->
      ( [< `Read | `Set_and_create ], ( 'l, 'm, 'n ) t, 'm )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c ) t ->
      'o ->
      'p ) ->
  local_state:
    ( 'q ->
      ( [< `Read | `Set_and_create ], ( 'r, 's, 't ) t, 't )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c ) t ->
      'u ->
      'v ) ->
  'w

val for_all : 
  ( 'a, 'b, 'c ) t ->
  ledger:
    ( ( [< `Read | `Set_and_create ], ( 'd, 'e, 'f ) t, 'd )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c ) t ->
      'g ->
      bool ) ->
  pending_coinbase_stack:
    ( ( [< `Read | `Set_and_create ], ( 'h, 'i, 'j ) t, 'i )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c ) t ->
      'k ->
      bool ) ->
  local_state:
    ( ( [< `Read | `Set_and_create ], ( 'l, 'm, 'n ) t, 'n )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c ) t ->
      'o ->
      bool ) ->
  bool

val exists : 
  ( 'a, 'b, 'c ) t ->
  ledger:
    ( ( [< `Read | `Set_and_create ], ( 'd, 'e, 'f ) t, 'd )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c ) t ->
      'g ->
      bool ) ->
  pending_coinbase_stack:
    ( ( [< `Read | `Set_and_create ], ( 'h, 'i, 'j ) t, 'i )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c ) t ->
      'k ->
      bool ) ->
  local_state:
    ( ( [< `Read | `Set_and_create ], ( 'l, 'm, 'n ) t, 'n )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c ) t ->
      'o ->
      bool ) ->
  bool

val to_list : 
  ( 'a, 'b, 'c ) t ->
  ledger:
    ( ( [< `Read | `Set_and_create ], ( 'd, 'e, 'f ) t, 'd )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c ) t ->
      'g ->
      'h ) ->
  pending_coinbase_stack:
    ( ( [< `Read | `Set_and_create ], ( 'i, 'j, 'k ) t, 'j )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c ) t ->
      'l ->
      'm ) ->
  local_state:
    ( ( [< `Read | `Set_and_create ], ( 'n, 'o, 'p ) t, 'p )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c ) t ->
      'q ->
      'r ) ->
  's list

val map : 
  ( 'a, 'b, 'c ) t ->
  ledger:
    ( ( [< `Read | `Set_and_create ], ( 'd, 'e, 'f ) t, 'd )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c ) t ->
      'g ->
      'h ) ->
  pending_coinbase_stack:
    ( ( [< `Read | `Set_and_create ], ( 'i, 'j, 'k ) t, 'j )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c ) t ->
      'l ->
      'm ) ->
  local_state:
    ( ( [< `Read | `Set_and_create ], ( 'n, 'o, 'p ) t, 'p )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b, 'c ) t ->
      'q ->
      'r ) ->
  ( 's, 't, 'u ) t

val set_all_mutable_fields : 'a -> unit