1-Inputs.Nonce_precondition
val is_constant : Nonce.t Mina_base.Zkapp_precondition.Closed_interval.t Account_update.or_ignore -> Bool.t