Zkapp_statement.Checked
type t = Zkapp_command.Transaction_commitment.Checked.t Poly.t
val to_field_elements : t -> Zkapp_command.Transaction_commitment.Checked.t array
module Assert : sig ... end