pub fn get_sierra_program_for_functions<'db>(
db: &'db dyn Database,
requested_function_ids: Vec<ConcreteFunctionWithBodyId<'db>>,
) -> Result<&'db SierraProgramWithDebug<'db>>Expand description
Checks if there are diagnostics in the database and if there are None, returns the SierraProgramWithDebug object of the requested functions