pub(crate) fn generate( formats: &[Rc<InstructionFormat>], all_inst: &Vec<Rc<InstructionContent>>, isle_opt_filename: &str, isle_lower_filename: &str, isle_dir: &Path, ) -> Result<(), Error>