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

val names : string list

val prover : 
  ( [< `Read | `Set_and_create ],
    ( 'a, 'b ) t,
    Signature_lib.Public_key.Compressed.t )
    Fieldslib.Field.t_with_perm

val spec : 
  ( [< `Read | `Set_and_create ], ( 'spec, 'a ) t, 'spec0 )
    Fieldslib.Field.t_with_perm

val metrics : 
  ( [< `Read | `Set_and_create ],
    ( 'a, 'b ) t,
    (Core.Time.Stable.Span.V1.t * [ `Merge | `Transition ]) One_or_two.t )
    Fieldslib.Field.t_with_perm

val proofs : 
  ( [< `Read | `Set_and_create ], ( 'a, 'single ) t, 'single0 One_or_two.t )
    Fieldslib.Field.t_with_perm

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

val create : 
  proofs:'a One_or_two.t ->
  metrics:(Core.Time.Stable.Span.V1.t * [ `Merge | `Transition ]) One_or_two.t ->
  spec:'b ->
  prover:Signature_lib.Public_key.Compressed.t ->
  ( 'c, 'a ) t

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

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

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

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

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

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

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

module Direct : sig ... end