Checked (mina_base.Mina_base.Receipt.Chain

module Signed_command_elt : sig ... end

module Zkapp_command_elt : sig ... end

val constant : t -> var

type t = var

val equal : t -> t -> Snark_params.Tick.Boolean.var Snark_params.Tick.Checked.t

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

val cons_signed_command_payload : 
  Signed_command_elt.t ->
  t ->
  t Snark_params.Tick.Checked.t

val cons_zkapp_command_commitment : 
  Mina_numbers.Index.Checked.t ->
  Zkapp_command_elt.t ->
  t ->
  t Snark_params.Tick.Checked.t