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