As_record (mina_base.Mina_base.Control.As

type t = {

proof : Pickles.Side_loaded.Proof.t option;

signature : Signature.t option;

}

val t_fields_annots : string -> (string * string option) list

val t_toplevel_annots : unit -> (string * string option) list

val signature : t -> Signature.t option

val proof : t -> Pickles.Side_loaded.Proof.t option

module Fields : sig ... end

val deriver : 
  ( t,
    ( ( < contramap : ( t -> t ) Core_kernel.ref
        ; graphql_arg : 
          ( unit ->
            t Fields_derivers_graphql.Schema.Arg.arg_typ )
            Core_kernel.ref
        ; graphql_arg_accumulator : 
          t Fields_derivers_zkapps.Graphql.Args.Acc.T.t Core_kernel.ref
        ; graphql_creator : 
          ( ( ( 'b, t, t, 'c ) Fields_derivers_zkapps.Graphql.Args.Output.t,
              t,
              t,
              'c )
              Fields_derivers_zkapps.Graphql.Args.Input.t ->
            t )
            Core_kernel.ref
        ; graphql_fields : 
          t Fields_derivers_zkapps.Graphql.Fields.Input.T.t Core_kernel.ref
        ; graphql_fields_accumulator : 
          t Fields_derivers_zkapps.Graphql.Fields.Accumulator.T.t list
            Core_kernel.ref
        ; graphql_query : string option Core_kernel.ref
        ; graphql_query_accumulator : 
          (Core_kernel.String.t * string option) option list Core_kernel.ref
        ; js_layout : 
          [> `Assoc of (string * Yojson.Safe.t) list ] Core_kernel.ref
        ; js_layout_accumulator : 
          Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Accumulator.field
            option
            list
            Core_kernel.ref
        ; map : ( t -> t ) Core_kernel.ref
        ; nullable_graphql_arg : 
          ( unit ->
            'c Fields_derivers_graphql.Schema.Arg.arg_typ )
            Core_kernel.ref
        ; nullable_graphql_fields : 
          t option Fields_derivers_zkapps.Graphql.Fields.Input.T.t
            Core_kernel.ref
        ; of_json : 
          ( [> `Assoc of (Core_kernel.String.Map.Key.t * Yojson.Safe.t) list ] ->
            t )
            Core_kernel.ref
        ; of_json_creator : 
          Yojson.Safe.t Core_kernel.String.Map.t Core_kernel.ref
        ; skip : bool Core_kernel.ref
        ; to_json : 
          ( t ->
            [> `Assoc of (Core_kernel.String.t * Yojson.Safe.t) list ] )
            Core_kernel.ref
        ; to_json_accumulator : 
          (Core_kernel.String.t * ( t -> Yojson.Safe.t )) option list
            Core_kernel.ref.. > as 'a,
        t,
        t,
        'c )
        Fields_derivers_zkapps.Graphql.Args.Input.t,
      t,
      t,
      'd )
      Fields_derivers_zkapps.Graphql.Args.Acc.t,
    t,
    t option )
    Fields_derivers_zkapps.Graphql.Fields.Accumulator.t ->
  ( t,
    ( 'a, t, t, 'c ) Fields_derivers_zkapps.Graphql.Args.Acc.t,
    t,
    t option )
    Fields_derivers_zkapps.Graphql.Fields.Accumulator.t