Direct (network_pool.Network_pool.Priced_proof.Stable.V1.Fields.Direct)

val iter : 
  'a t ->
  proof:
    ( ( [< `Read | `Set_and_create ], 'b t, 'b ) Fieldslib.Field.t_with_perm ->
      'a t ->
      'c ->
      'd ) ->
  fee:
    ( ( [< `Read | `Set_and_create ],
        'e t,
        Mina_base.Fee_with_prover.Stable.V1.t )
        Fieldslib.Field.t_with_perm ->
      'a t ->
      Mina_base.Fee_with_prover.Stable.V1.t ->
      'f ) ->
  'g

val fold : 
  'a t ->
  init:'b ->
  proof:
    ( 'c ->
      ( [< `Read | `Set_and_create ], 'd t, 'd ) Fieldslib.Field.t_with_perm ->
      'a t ->
      'e ->
      'f ) ->
  fee:
    ( 'g ->
      ( [< `Read | `Set_and_create ],
        'h t,
        Mina_base.Fee_with_prover.Stable.V1.t )
        Fieldslib.Field.t_with_perm ->
      'a t ->
      Mina_base.Fee_with_prover.Stable.V1.t ->
      'i ) ->
  'j

val for_all : 
  'a t ->
  proof:
    ( ( [< `Read | `Set_and_create ], 'b t, 'b ) Fieldslib.Field.t_with_perm ->
      'a t ->
      'c ->
      bool ) ->
  fee:
    ( ( [< `Read | `Set_and_create ],
        'd t,
        Mina_base.Fee_with_prover.Stable.V1.t )
        Fieldslib.Field.t_with_perm ->
      'a t ->
      Mina_base.Fee_with_prover.Stable.V1.t ->
      bool ) ->
  bool

val exists : 
  'a t ->
  proof:
    ( ( [< `Read | `Set_and_create ], 'b t, 'b ) Fieldslib.Field.t_with_perm ->
      'a t ->
      'c ->
      bool ) ->
  fee:
    ( ( [< `Read | `Set_and_create ],
        'd t,
        Mina_base.Fee_with_prover.Stable.V1.t )
        Fieldslib.Field.t_with_perm ->
      'a t ->
      Mina_base.Fee_with_prover.Stable.V1.t ->
      bool ) ->
  bool

val to_list : 
  'a t ->
  proof:
    ( ( [< `Read | `Set_and_create ], 'b t, 'b ) Fieldslib.Field.t_with_perm ->
      'a t ->
      'c ->
      'd ) ->
  fee:
    ( ( [< `Read | `Set_and_create ],
        'e t,
        Mina_base.Fee_with_prover.Stable.V1.t )
        Fieldslib.Field.t_with_perm ->
      'a t ->
      Mina_base.Fee_with_prover.Stable.V1.t ->
      'f ) ->
  'g list

val map : 
  'a t ->
  proof:
    ( ( [< `Read | `Set_and_create ], 'b t, 'b ) Fieldslib.Field.t_with_perm ->
      'a t ->
      'c ->
      'd ) ->
  fee:
    ( ( [< `Read | `Set_and_create ],
        'e t,
        Mina_base.Fee_with_prover.Stable.V1.t )
        Fieldslib.Field.t_with_perm ->
      'a t ->
      Mina_base.Fee_with_prover.Stable.V1.t ->
      Mina_base.Fee_with_prover.Stable.V1.t ) ->
  'f t

val set_all_mutable_fields : 'a -> unit