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