Checked (mina_base.Mina_base.Zkapp_basic.Or

type 'a t

val typ : 
  ignore:'a ->
  ( 'a_var, 'a ) Snark_params.Tick.Typ.t ->
  ( 'a_var t, 'a Stable.Latest.t ) Snark_params.Tick.Typ.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 check : 
  'a t ->
  f:( 'a -> Snark_params.Tick.Boolean.var ) ->
  Snark_params.Tick.Boolean.var

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

val data : 'a t -> 'a

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

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