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