Module Mina_base.Control

module Stable : sig ... end
type t = Stable.Latest.t =
| Proof of Pickles.Side_loaded.Proof.t
| Signature of Signature.t
| None_given
val to_yojson : t -> Yojson.Safe.t
val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or
val _ : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or
val t_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> t
val sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.t
val equal : t -> t -> bool
val hash_fold_t : Ppx_hash_lib.Std.Hash.state -> t -> Ppx_hash_lib.Std.Hash.state
val hash : t -> Ppx_hash_lib.Std.Hash.hash_value
val compare : t -> t -> int
val gen_with_dummies : t Core_kernel.Quickcheck.Generator.t
module Tag : sig ... end
val tag : t -> Tag.t
val dummy_of_tag : Tag.t -> t
val signature_deriver : ( Yojson.Safe.t, ( Yojson.Safe.t, ( Yojson.Safe.t, ( ( Yojson.Safe.t, ( Yojson.Safe.t, ( Yojson.Safe.t, ( < contramap : ( Signature.t -> Yojson.Safe.t ) Core_kernel.ref ; graphql_arg : ( unit -> Yojson.Safe.t Fields_derivers_graphql.Schema.Arg.arg_typ ) Core_kernel.ref ; graphql_fields : Yojson.Safe.t Fields_derivers_zkapps.Derivers.Graphql.Fields.Input.T.t Core_kernel.ref ; graphql_query : string option Core_kernel.ref ; js_layout : [> `Assoc of (string * Yojson.Safe.t) list ] Core_kernel.ref ; map : ( Yojson.Safe.t -> Signature.t ) Core_kernel.ref ; nullable_graphql_arg : ( unit -> Yojson.Safe.t option Fields_derivers_graphql.Schema.Arg.arg_typ ) Core_kernel.ref ; nullable_graphql_fields : Yojson.Safe.t option Fields_derivers_zkapps.Derivers.Graphql.Fields.Input.T.t Core_kernel.ref ; of_json : ( Yojson.Safe.t -> Yojson.Safe.t ) Core_kernel.ref ; skip : bool Core_kernel.ref ; to_json : ( Yojson.Safe.t -> Yojson.Safe.t ) Core_kernel.ref.. > as 'a Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t Fields_derivers_graphql.Graphql_query.Input.t, Signature.t, Yojson.Safe.t, Yojson.Safe.t option ) Fields_derivers_zkapps.Derivers.Graphql.Args.Input.t, Signature.t, Yojson.Safe.t option ) Fields_derivers_zkapps.Derivers.Graphql.Fields.Input.t, Signature.t ) Fields_derivers_json.Of_yojson.Input.t, Signature.t ) Fields_derivers_json.To_yojson.Input.t Fields_derivers_zkapps.Derivers.Unified_input.t Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t Fields_derivers_graphql.Graphql_query.Input.t, Signature.t, Yojson.Safe.t, Yojson.Safe.t option ) Fields_derivers_zkapps.Derivers.Graphql.Args.Input.t, Signature.t, Yojson.Safe.t option ) Fields_derivers_zkapps.Derivers.Graphql.Fields.Input.t, Signature.t ) Fields_derivers_json.Of_yojson.Input.t, Signature.t ) Fields_derivers_json.To_yojson.Input.t Fields_derivers_zkapps.Derivers.Unified_input.t -> ( Yojson.Safe.t, ( Yojson.Safe.t, ( Yojson.Safe.t, ( 'b Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t Fields_derivers_graphql.Graphql_query.Input.t, Signature.t, Yojson.Safe.t, Yojson.Safe.t option ) Fields_derivers_zkapps.Derivers.Graphql.Args.Input.t, Signature.t, Yojson.Safe.t option ) Fields_derivers_zkapps.Derivers.Graphql.Fields.Input.t, Signature.t ) Fields_derivers_json.Of_yojson.Input.t, Signature.t ) Fields_derivers_json.To_yojson.Input.t Fields_derivers_zkapps.Derivers.Unified_input.t
module As_record : sig ... end
val to_record : t -> As_record.t
val of_record : As_record.t -> t
val deriver : ( As_record.t, ( As_record.t, ( ( ( As_record.t, ( As_record.t, ( As_record.t, ( ( As_record.t, ( As_record.t, ( As_record.t, ( < contramap : ( t -> As_record.t ) Core_kernel.ref ; graphql_arg : ( unit -> As_record.t Fields_derivers_graphql.Schema.Arg.arg_typ ) Core_kernel.ref ; graphql_arg_accumulator : As_record.t Fields_derivers_zkapps.Graphql.Args.Acc.T.t Core_kernel.ref ; graphql_fields : As_record.t Fields_derivers_zkapps.Derivers.Graphql.Fields.Input.T.t Core_kernel.ref ; graphql_fields_accumulator : As_record.t Fields_derivers_zkapps.Graphql.Fields.Accumulator.T.t list Core_kernel.ref ; graphql_query : string option Core_kernel.ref ; js_layout : [> `Assoc of (string * Yojson.Safe.t) list ] Core_kernel.ref ; map : ( As_record.t -> t ) Core_kernel.ref ; nullable_graphql_arg : ( unit -> 'b Fields_derivers_graphql.Schema.Arg.arg_typ ) Core_kernel.ref ; nullable_graphql_fields : As_record.t option Fields_derivers_zkapps.Derivers.Graphql.Fields.Input.T.t Core_kernel.ref ; of_json : ( Yojson.Safe.t -> As_record.t ) Core_kernel.ref ; skip : bool Core_kernel.ref ; to_json : ( As_record.t -> Yojson.Safe.t ) Core_kernel.ref.. > as 'a Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t Fields_derivers_graphql.Graphql_query.Input.t, t, As_record.t, 'b ) Fields_derivers_zkapps.Derivers.Graphql.Args.Input.t, t, As_record.t option ) Fields_derivers_zkapps.Derivers.Graphql.Fields.Input.t, t ) Fields_derivers_json.Of_yojson.Input.t, t ) Fields_derivers_json.To_yojson.Input.t Fields_derivers_zkapps.Derivers.Unified_input.t Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t Fields_derivers_graphql.Graphql_query.Input.t, t, As_record.t, 'b ) Fields_derivers_zkapps.Derivers.Graphql.Args.Input.t, t, As_record.t option ) Fields_derivers_zkapps.Derivers.Graphql.Fields.Input.t, t ) Fields_derivers_json.Of_yojson.Input.t, t ) Fields_derivers_json.To_yojson.Input.t Fields_derivers_zkapps.Derivers.Unified_input.t, t, As_record.t, 'b ) Fields_derivers_zkapps.Derivers.Graphql.Args.Input.t, t, As_record.t, 'b ) Fields_derivers_zkapps.Derivers.Graphql.Args.Input.t, t, As_record.t option ) Fields_derivers_zkapps.Derivers.Graphql.Fields.Input.t, t, As_record.t option ) Fields_derivers_zkapps.Derivers.Graphql.Fields.Input.t -> ( As_record.t, ( As_record.t, ( As_record.t, ( 'c Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t Fields_derivers_graphql.Graphql_query.Input.t, t, As_record.t, 'b ) Fields_derivers_zkapps.Derivers.Graphql.Args.Input.t, t, As_record.t option ) Fields_derivers_zkapps.Derivers.Graphql.Fields.Input.t, t ) Fields_derivers_json.Of_yojson.Input.t, t ) Fields_derivers_json.To_yojson.Input.t Fields_derivers_zkapps.Derivers.Unified_input.t