Zkapp_command_snark (transaction_snark.Transaction_snark.Base.Zkapp_command

val main : 
  ?witness:Zkapp_command_segment.Witness.t ->
  Zkapp_command_segment.Spec.t ->
  constraint_constants:Genesis_constants.Constraint_constants.t ->
  Statement.With_sok.var ->
  Mina_base.Zkapp_statement.Checked.t option