Module Mina_base.Zkapp_state

module Max_state_size = Pickles_types.Nat.N8
module V : sig ... end
val typ : ( 'a, 'b, 'c ) Snarky_backendless.Typ.t -> ( ( 'a, Pickles_types__Nat.z Max_state_size.plus_n ) Pickles_types.Vector.vec, ( 'b, Pickles_types__Nat.z Max_state_size.plus_n ) Pickles_types.Vector.vec, 'c ) Snarky_backendless.Typ.t
module Value : sig ... end
val to_input : 'a V.t -> f:( 'b -> 'c Random_oracle_input.Chunked.t ) -> 'c Random_oracle_input.Chunked.t
val deriver : ( < contramap : ( 'a -> 'b ) Core_kernel.ref ; graphql_arg : ( unit -> 'c ) Core_kernel.ref ; graphql_arg_accumulator : 'd Fields_derivers_zkapps.Derivers.Graphql.Args.Acc.T.t Core_kernel.ref ; graphql_creator : ( 'e -> 'f ) Core_kernel.ref ; graphql_fields : 'g Fields_derivers_zkapps.Derivers.Graphql.Fields.Input.T.t Core_kernel.ref ; graphql_fields_accumulator : 'h list Core_kernel.ref ; graphql_query : 'i option Core_kernel.ref ; graphql_query_accumulator : 'j list Core_kernel.ref ; js_layout : [> `Assoc of 'k list ] Core_kernel.ref ; js_layout_accumulator : 'l list Core_kernel.ref ; map : ( 'm -> 'n ) Core_kernel.ref ; nullable_graphql_arg : ( unit -> 'o ) Core_kernel.ref ; nullable_graphql_fields : 'p Fields_derivers_zkapps.Derivers.Graphql.Fields.Input.T.t Core_kernel.ref ; of_json : ( 'q -> 'r ) Core_kernel.ref ; of_json_creator : 's Core_kernel.String.Map.t Core_kernel.ref ; skip : bool Core_kernel.ref ; to_json : ( 't -> 'u ) Core_kernel.ref ; to_json_accumulator : 'v list Core_kernel.ref > -> ( 'w, ( 'x, ( 'w, ( < contramap : ( 'y -> 'w ) Core_kernel.ref ; graphql_arg : ( unit -> 'x Fields_derivers_graphql.Schema.Arg.arg_typ ) Core_kernel.ref ; graphql_arg_accumulator : 'z Fields_derivers_zkapps.Derivers.Graphql.Args.Acc.T.t Core_kernel.ref ; graphql_fields : 'w Fields_derivers_zkapps.Derivers.Graphql.Fields.Input.T.t Core_kernel.ref ; graphql_fields_accumulator : 'a1 list Core_kernel.ref ; graphql_query : string option Core_kernel.ref ; js_layout : Yojson.Safe.t Core_kernel.ref ; map : ( 'x -> 'b1 ) Core_kernel.ref ; nullable_graphql_arg : ( unit -> 'c1 Fields_derivers_graphql.Schema.Arg.arg_typ ) Core_kernel.ref ; nullable_graphql_fields : 'd1 Fields_derivers_zkapps.Derivers.Graphql.Fields.Input.T.t Core_kernel.ref ; of_json : ( Yojson.Safe.t -> 'x ) Core_kernel.ref ; skip : bool Core_kernel.ref ; to_json : ( 'w -> Yojson.Safe.t ) Core_kernel.ref.. > Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t Fields_derivers_graphql.Graphql_query.Input.t, 'b1, 'x, 'c1 ) Fields_derivers_zkapps.Derivers.Graphql.Args.Input.t, 'y, 'd1 ) Fields_derivers_zkapps.Derivers.Graphql.Fields.Input.t, 'b1 ) Fields_derivers_json.Of_yojson.Input.t, 'y ) Fields_derivers_json.To_yojson.Input.t Fields_derivers_zkapps.Derivers.Unified_input.t ) -> ( 'w list, ( 'w list, ( ( ( 'w list, ( 'x list, ( 'w list, ( ( 'w list, ( 'x list, ( 'w list, ( < contramap : ( ( 'f1, 'g1 ) Pickles_types.Vector.t -> 'w list ) Core_kernel.ref ; graphql_arg : ( unit -> 'x list Fields_derivers_graphql.Schema.Arg.arg_typ ) Core_kernel.ref ; graphql_arg_accumulator : 'z Fields_derivers_zkapps.Derivers.Graphql.Args.Acc.T.t Core_kernel.ref ; graphql_fields : 'w list Fields_derivers_zkapps.Derivers.Graphql.Fields.Input.T.t Core_kernel.ref ; graphql_fields_accumulator : 'a1 list Core_kernel.ref ; graphql_query : string option Core_kernel.ref ; js_layout : [> `Assoc of (string * Yojson.Safe.t) list ] Core_kernel.ref ; map : ( 'x list -> 'h1 Pickles_types.Vector.Vector_8.t ) Core_kernel.ref ; nullable_graphql_arg : ( unit -> 'x list option Fields_derivers_graphql.Schema.Arg.arg_typ ) Core_kernel.ref ; nullable_graphql_fields : 'w list option Fields_derivers_zkapps.Derivers.Graphql.Fields.Input.T.t Core_kernel.ref ; of_json : ( Yojson.Safe.t -> 'x list ) Core_kernel.ref ; skip : bool Core_kernel.ref ; to_json : ( 'w list -> Yojson.Safe.t ) Core_kernel.ref.. > as 'e1 Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t Fields_derivers_graphql.Graphql_query.Input.t, 'h1 Pickles_types.Vector.Vector_8.t, 'x list, 'x list option ) Fields_derivers_zkapps.Derivers.Graphql.Args.Input.t, ( 'f1, 'g1 ) Pickles_types.Vector.t, 'w list option ) Fields_derivers_zkapps.Derivers.Graphql.Fields.Input.t, 'h1 Pickles_types.Vector.Vector_8.t ) Fields_derivers_json.Of_yojson.Input.t, ( 'f1, 'g1 ) Pickles_types.Vector.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, 'h1 Pickles_types.Vector.Vector_8.t, 'x list, 'x list option ) Fields_derivers_zkapps.Derivers.Graphql.Args.Input.t, ( 'f1, 'g1 ) Pickles_types.Vector.t, 'w list option ) Fields_derivers_zkapps.Derivers.Graphql.Fields.Input.t, 'h1 Pickles_types.Vector.Vector_8.t ) Fields_derivers_json.Of_yojson.Input.t, ( 'f1, 'g1 ) Pickles_types.Vector.t ) Fields_derivers_json.To_yojson.Input.t Fields_derivers_zkapps.Derivers.Unified_input.t, 'h1 Pickles_types.Vector.Vector_8.t, 'x list, 'x list option ) Fields_derivers_zkapps.Derivers.Graphql.Args.Input.t, 'h1 Pickles_types.Vector.Vector_8.t, 'x list, 'x list option ) Fields_derivers_zkapps.Derivers.Graphql.Args.Input.t, ( 'f1, 'g1 ) Pickles_types.Vector.t, 'w list option ) Fields_derivers_zkapps.Derivers.Graphql.Fields.Input.t, ( 'f1, 'g1 ) Pickles_types.Vector.t, 'w list option ) Fields_derivers_zkapps.Derivers.Graphql.Fields.Input.t -> ( 'w list, ( 'x list, ( 'w list, ( 'i1 Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t Fields_derivers_graphql.Graphql_query.Input.t, 'h1 Pickles_types.Vector.Vector_8.t, 'x list, 'x list option ) Fields_derivers_zkapps.Derivers.Graphql.Args.Input.t, ( 'f1, 'g1 ) Pickles_types.Vector.t, 'w list option ) Fields_derivers_zkapps.Derivers.Graphql.Fields.Input.t, 'h1 Pickles_types.Vector.Vector_8.t ) Fields_derivers_json.Of_yojson.Input.t, ( 'f1, 'g1 ) Pickles_types.Vector.t ) Fields_derivers_json.To_yojson.Input.t Fields_derivers_zkapps.Derivers.Unified_input.t