Function constant

pub fn constant<F, U>(
    builder: &mut ConstraintSystemBuilder<'_, U, F>,
    name: impl ToString,
    log_count: usize,
    value: u32,
) -> Result<OracleId, Error>
where
    U: PackScalar<F> + PackScalar<BinaryField1b> + PackScalar<BinaryField32b> + Pod,
    F: TowerField + ExtensionField<BinaryField32b>,