Module Zkapp_basic.Set_or_keep

module Stable : sig ... end
type 'a t = 'a Stable.Latest.t =
| Set of 'a
| Keep
val to_yojson : 'a. ( 'a -> Yojson.Safe.t ) -> 'a t -> Yojson.Safe.t
val of_yojson : 'a. ( Yojson.Safe.t -> 'a Ppx_deriving_yojson_runtime.error_or ) -> Yojson.Safe.t -> 'a t Ppx_deriving_yojson_runtime.error_or
val _ : ( Yojson.Safe.t -> 'a Ppx_deriving_yojson_runtime.error_or ) -> Yojson.Safe.t -> 'a t Ppx_deriving_yojson_runtime.error_or
val t_of_sexp : 'a. ( Ppx_sexp_conv_lib.Sexp.t -> 'a ) -> Ppx_sexp_conv_lib.Sexp.t -> 'a t
val sexp_of_t : 'a. ( 'a -> Ppx_sexp_conv_lib.Sexp.t ) -> 'a t -> Ppx_sexp_conv_lib.Sexp.t
val equal : 'a. ( 'a -> 'a -> bool ) -> 'a t -> 'a t -> bool
val compare : 'a. ( 'a -> 'a -> int ) -> 'a t -> 'a t -> int
val hash_fold_t : 'a. ( Ppx_hash_lib.Std.Hash.state -> 'a -> Ppx_hash_lib.Std.Hash.state ) -> Ppx_hash_lib.Std.Hash.state -> 'a t -> Ppx_hash_lib.Std.Hash.state
val map : 'a t -> f:( 'b -> 'c ) -> 'd t
val to_option : 'a t -> 'b option
val of_option : 'a option -> 'b t
val set_or_keep : 'a t -> 'b -> 'c
val is_set : 'a t -> bool
val is_keep : 'a t -> bool
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 -> 'x option Fields_derivers_graphql.Schema.Arg.arg_typ ) Core_kernel.ref ; nullable_graphql_fields : 'w option 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, 'x option ) Fields_derivers_zkapps.Derivers.Graphql.Args.Input.t, 'y, 'w option ) 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 option, ( 'w option, ( ( ( 'w option, ( 'x option, ( 'w option, ( ( 'w option, ( 'x option, ( 'w option, ( < contramap : ( 'd1 t -> 'w option ) Core_kernel.ref ; graphql_arg : ( unit -> 'x option 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 option 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 option -> 'e1 t ) Core_kernel.ref ; nullable_graphql_arg : ( unit -> 'x option Fields_derivers_graphql.Schema.Arg.arg_typ ) Core_kernel.ref ; nullable_graphql_fields : 'w option Fields_derivers_zkapps.Derivers.Graphql.Fields.Input.T.t Core_kernel.ref ; of_json : ( Yojson.Safe.t -> 'x option ) Core_kernel.ref ; skip : bool Core_kernel.ref ; to_json : ( 'w option -> Yojson.Safe.t ) Core_kernel.ref.. > as 'c1 Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t Fields_derivers_graphql.Graphql_query.Input.t, 'e1 t, 'x option, 'x option ) Fields_derivers_zkapps.Derivers.Graphql.Args.Input.t, 'd1 t, 'w option ) Fields_derivers_zkapps.Derivers.Graphql.Fields.Input.t, 'e1 t ) Fields_derivers_json.Of_yojson.Input.t, 'd1 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, 'e1 t, 'x option, 'x option ) Fields_derivers_zkapps.Derivers.Graphql.Args.Input.t, 'd1 t, 'w option ) Fields_derivers_zkapps.Derivers.Graphql.Fields.Input.t, 'e1 t ) Fields_derivers_json.Of_yojson.Input.t, 'd1 t ) Fields_derivers_json.To_yojson.Input.t Fields_derivers_zkapps.Derivers.Unified_input.t, 'e1 t, 'x option, 'x option ) Fields_derivers_zkapps.Derivers.Graphql.Args.Input.t, 'e1 t, 'x option, 'x option ) Fields_derivers_zkapps.Derivers.Graphql.Args.Input.t, 'd1 t, 'w option ) Fields_derivers_zkapps.Derivers.Graphql.Fields.Input.t, 'd1 t, 'w option ) Fields_derivers_zkapps.Derivers.Graphql.Fields.Input.t -> ( 'w option, ( 'x option, ( 'w option, ( 'f1 Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t Fields_derivers_graphql.Graphql_query.Input.t, 'e1 t, 'x option, 'x option ) Fields_derivers_zkapps.Derivers.Graphql.Args.Input.t, 'd1 t, 'w option ) Fields_derivers_zkapps.Derivers.Graphql.Fields.Input.t, 'e1 t ) Fields_derivers_json.Of_yojson.Input.t, 'd1 t ) Fields_derivers_json.To_yojson.Input.t Fields_derivers_zkapps.Derivers.Unified_input.t
val gen : 'a Core_kernel__Quickcheck.Generator.t -> 'b t Core_kernel__Quickcheck.Generator.t
module Checked : sig ... end
val typ : dummy:'a -> ( 'b, 'a ) Snark_params.Tick.Typ.t -> ( 'b Checked.t, 'a Stable.Latest.t ) Snark_params.Tick.Typ.t
val optional_typ : to_option:( 'a -> 'b option ) -> of_option:( 'b option -> 'a ) -> ( 'c, 'a ) Snark_params.Tick.Typ.t -> ( 'c Checked.t, 'b Stable.Latest.t ) Snark_params.Tick.Typ.t