Direct (snark_work_lib.Snark_work_lib.Work.Result.Fields.Direct)

val iter : 
  ( 'a, 'b ) t ->
  proofs:
    ( ( [< `Read | `Set_and_create ], ( 'c, 'd ) t, 'd One_or_two.t )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b ) t ->
      'b One_or_two.t ->
      'e ) ->
  metrics:
    ( ( [< `Read | `Set_and_create ],
        ( 'f, 'g ) t,
        (Core.Time.Stable.Span.V1.t * [ `Merge | `Transition ]) One_or_two.t )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b ) t ->
      (Core.Time.Stable.Span.V1.t * [ `Merge | `Transition ]) One_or_two.t ->
      'h ) ->
  spec:
    ( ( [< `Read | `Set_and_create ], ( 'i, 'j ) t, 'i )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b ) t ->
      'k ->
      'l ) ->
  prover:
    ( ( [< `Read | `Set_and_create ],
        ( 'm, 'n ) t,
        Signature_lib.Public_key.Compressed.t )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b ) t ->
      Signature_lib.Public_key.Compressed.t ->
      'o ) ->
  'p

val fold : 
  ( 'a, 'b ) t ->
  init:'c ->
  proofs:
    ( 'd ->
      ( [< `Read | `Set_and_create ], ( 'e, 'f ) t, 'f One_or_two.t )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b ) t ->
      'b One_or_two.t ->
      'g ) ->
  metrics:
    ( 'h ->
      ( [< `Read | `Set_and_create ],
        ( 'i, 'j ) t,
        (Core.Time.Stable.Span.V1.t * [ `Merge | `Transition ]) One_or_two.t )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b ) t ->
      (Core.Time.Stable.Span.V1.t * [ `Merge | `Transition ]) One_or_two.t ->
      'k ) ->
  spec:
    ( 'l ->
      ( [< `Read | `Set_and_create ], ( 'm, 'n ) t, 'm )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b ) t ->
      'o ->
      'p ) ->
  prover:
    ( 'q ->
      ( [< `Read | `Set_and_create ],
        ( 'r, 's ) t,
        Signature_lib.Public_key.Compressed.t )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b ) t ->
      Signature_lib.Public_key.Compressed.t ->
      't ) ->
  'u

val for_all : 
  ( 'a, 'b ) t ->
  proofs:
    ( ( [< `Read | `Set_and_create ], ( 'c, 'd ) t, 'd One_or_two.t )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b ) t ->
      'b One_or_two.t ->
      bool ) ->
  metrics:
    ( ( [< `Read | `Set_and_create ],
        ( 'e, 'f ) t,
        (Core.Time.Stable.Span.V1.t * [ `Merge | `Transition ]) One_or_two.t )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b ) t ->
      (Core.Time.Stable.Span.V1.t * [ `Merge | `Transition ]) One_or_two.t ->
      bool ) ->
  spec:
    ( ( [< `Read | `Set_and_create ], ( 'g, 'h ) t, 'g )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b ) t ->
      'i ->
      bool ) ->
  prover:
    ( ( [< `Read | `Set_and_create ],
        ( 'j, 'k ) t,
        Signature_lib.Public_key.Compressed.t )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b ) t ->
      Signature_lib.Public_key.Compressed.t ->
      bool ) ->
  bool

val exists : 
  ( 'a, 'b ) t ->
  proofs:
    ( ( [< `Read | `Set_and_create ], ( 'c, 'd ) t, 'd One_or_two.t )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b ) t ->
      'b One_or_two.t ->
      bool ) ->
  metrics:
    ( ( [< `Read | `Set_and_create ],
        ( 'e, 'f ) t,
        (Core.Time.Stable.Span.V1.t * [ `Merge | `Transition ]) One_or_two.t )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b ) t ->
      (Core.Time.Stable.Span.V1.t * [ `Merge | `Transition ]) One_or_two.t ->
      bool ) ->
  spec:
    ( ( [< `Read | `Set_and_create ], ( 'g, 'h ) t, 'g )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b ) t ->
      'i ->
      bool ) ->
  prover:
    ( ( [< `Read | `Set_and_create ],
        ( 'j, 'k ) t,
        Signature_lib.Public_key.Compressed.t )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b ) t ->
      Signature_lib.Public_key.Compressed.t ->
      bool ) ->
  bool

val to_list : 
  ( 'a, 'b ) t ->
  proofs:
    ( ( [< `Read | `Set_and_create ], ( 'c, 'd ) t, 'd One_or_two.t )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b ) t ->
      'b One_or_two.t ->
      'e ) ->
  metrics:
    ( ( [< `Read | `Set_and_create ],
        ( 'f, 'g ) t,
        (Core.Time.Stable.Span.V1.t * [ `Merge | `Transition ]) One_or_two.t )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b ) t ->
      (Core.Time.Stable.Span.V1.t * [ `Merge | `Transition ]) One_or_two.t ->
      'h ) ->
  spec:
    ( ( [< `Read | `Set_and_create ], ( 'i, 'j ) t, 'i )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b ) t ->
      'k ->
      'l ) ->
  prover:
    ( ( [< `Read | `Set_and_create ],
        ( 'm, 'n ) t,
        Signature_lib.Public_key.Compressed.t )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b ) t ->
      Signature_lib.Public_key.Compressed.t ->
      'o ) ->
  'p list

val map : 
  ( 'a, 'b ) t ->
  proofs:
    ( ( [< `Read | `Set_and_create ], ( 'c, 'd ) t, 'd One_or_two.t )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b ) t ->
      'b One_or_two.t ->
      'e One_or_two.t ) ->
  metrics:
    ( ( [< `Read | `Set_and_create ],
        ( 'f, 'g ) t,
        (Core.Time.Stable.Span.V1.t * [ `Merge | `Transition ]) One_or_two.t )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b ) t ->
      (Core.Time.Stable.Span.V1.t * [ `Merge | `Transition ]) One_or_two.t ->
      (Core.Time.Stable.Span.V1.t * [ `Merge | `Transition ]) One_or_two.t ) ->
  spec:
    ( ( [< `Read | `Set_and_create ], ( 'h, 'i ) t, 'h )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b ) t ->
      'j ->
      'k ) ->
  prover:
    ( ( [< `Read | `Set_and_create ],
        ( 'l, 'm ) t,
        Signature_lib.Public_key.Compressed.t )
        Fieldslib.Field.t_with_perm ->
      ( 'a, 'b ) t ->
      Signature_lib.Public_key.Compressed.t ->
      Signature_lib.Public_key.Compressed.t ) ->
  ( 'n, 'e ) t

val set_all_mutable_fields : 'a -> unit