Checked (mina_base.Mina_base.Zkapp_precondition.Numeric.Checked)

type 'a t = 'a Closed_interval.t Zkapp_basic.Or_ignore.Checked.t

val to_input : 
  ( 'a, 'b ) Tc.t ->
  'a0 t ->
  Snark_params.Tick.Field.Var.t Random_oracle_input.Chunked.t

val check : ( 'a, 'b ) Tc.t -> 'a0 t -> 'a1 -> Snark_params.Tick.Boolean.var

val is_constant : ( 'a, 'b ) Tc.t -> 'a0 t -> Impl.Boolean.var