Checked (mina_base.Mina_base.Zkapp_basic.Set_or

type 'a t

val is_keep : _ t -> Snark_params.Tick.Boolean.var

val is_set : _ t -> Snark_params.Tick.Boolean.var

val set_or_keep : 
  if_:( Snark_params.Tick.Boolean.var -> then_:'a -> else_:'a -> 'a ) ->
  'a t ->
  'a ->
  'a

val data : 'a t -> 'a

val typ : 
  dummy:'a ->
  ( 'a_var, 'a ) Snark_params.Tick.Typ.t ->
  ( 'a_var t, 'a Stable.Latest.t ) Snark_params.Tick.Typ.t

val optional_typ : 
  to_option:( 'new_value -> 'value option ) ->
  of_option:( 'value option -> 'new_value ) ->
  ( 'var, 'new_value ) Snark_params.Tick.Typ.t ->
  ( 'var t, 'value Stable.Latest.t ) Snark_params.Tick.Typ.t

val map : f:( 'a -> 'b ) -> 'a t -> 'b t

val to_input : 
  'a t ->
  f:( 'a -> Snark_params.Tick.Field.Var.t Random_oracle_input.Chunked.t ) ->
  Snark_params.Tick.Field.Var.t Random_oracle_input.Chunked.t

val set : 'a -> 'a t

val keep : dummy:'a -> 'a t

val make_unsafe : Snark_params.Tick.Boolean.var -> 'a -> 'a t