Method new_statement_from_params

proof_system/src/statement/bound_check_smc.rs:80–93

(
        min: u64,
        max: u64,
        params: SmcParamsAndCommitmentKey<E>,
    )

impl<E: Pairing> BoundCheckSmc<E> {
    pub fn new_statement_from_params(
        min: u64,
        max: u64,
        params: SmcParamsAndCommitmentKey<E>,
    ) -> Result<Statement<E>, ProofSystemError> {
        validate_bounds(min, max)?;

        Ok(Statement::BoundCheckSmc(Self {
            min,
            max,
            params_and_comm_key: Some(params),
            params_and_comm_key_ref: None,
        }))
    }

    pub fn new_statement_from_params_ref(
        min: u64,