Checked (mina_base.Mina_base.Pending

type t = var

val push_coinbase : Coinbase_data.var -> t -> t Snark_params.Tick.Checked.t

val push_state : State_body_hash.var -> t -> t Snark_params.Tick.Checked.t

val if_ : 
  Snark_params.Tick.Boolean.var ->
  then_:t ->
  else_:t ->
  t Snark_params.Tick.Checked.t

val check_merge : 
  transition1:(t * t) ->
  transition2:(t * t) ->
  Snark_params.Tick.Boolean.var Snark_params.Tick.Checked.t

val empty : t

val create_with : t -> t